H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 2.435 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/List.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule List

((elemIndices :: Eq a => a -> [a] -> [Int]) :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (\vv1 ->

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

) (zip xs (enumFrom 0))

module Maybe where

import qualified List
import qualified Prelude

Lambda Reductions:
The following Lambda expression

\vv1→

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices0 p vv1 =

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

The following Lambda expression

\ab→(a,b)

is transformed to

zip0 a b = (a,b)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

mainModule List

((elemIndices :: Eq a => a -> [a] -> [Int]) :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

module Maybe where

import qualified List
import qualified Prelude

Case Reductions:
The following Case expression

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices00 p (x,i) = if p x then i : [] else []

findIndices00 p _ = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

mainModule List

((elemIndices :: Eq a => a -> [a] -> [Int]) :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	if p x then i : [] else []
findIndices00	p _	=	[]

module Maybe where

import qualified List
import qualified Prelude

If Reductions:
The following If expression

if p x then i : [] else []

is transformed to

findIndices000 i True = i : []

findIndices000 i False = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

mainModule List

((elemIndices :: Eq a => a -> [a] -> [Int]) :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p _	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

mainModule List

((elemIndices :: Eq a => a -> [a] -> [Int]) :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

mainModule List

((elemIndices :: Eq a => a -> [a] -> [Int]) :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

mainModule List

(elemIndices :: Eq a => a -> [a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="elemIndices\n  Eq a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="elemIndices yu3\n  Eq a",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="elemIndices yu3 yu4\n  Eq a",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="findIndices (yu3 ==) yu4\n  Eq a",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="concatMap (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero)))\n  Eq a",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="concat . map (findIndices0 (yu3 ==))\n  Eq a",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="concat (map (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];1400[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];10 -> 1400[label="",style="solid", color="burlywood", weight=9];
1400 -> 11[label="",style="solid", color="burlywood", weight=3];
1401[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 1401[label="",style="solid", color="burlywood", weight=9];
1401 -> 12[label="",style="solid", color="burlywood", weight=3];
11[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
12[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
13[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (numericEnumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
14[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="black",shape="triangle"];14 -> 16[label="",style="solid", color="black", weight=3];
15[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
16[label="foldr (++) [] []",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
17[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip0 yu40 (Pos Zero) : zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
18[label="[]",fontsize=16,color="green",shape="box"];19[label="foldr (++) [] (findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) : map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20 -> 691[label="",style="dashed", color="red", weight=0];
20[label="(++) findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];20 -> 692[label="",style="dashed", color="magenta", weight=3];
20 -> 693[label="",style="dashed", color="magenta", weight=3];
20 -> 694[label="",style="dashed", color="magenta", weight=3];
20 -> 695[label="",style="dashed", color="magenta", weight=3];
20 -> 696[label="",style="dashed", color="magenta", weight=3];
692[label="Zero",fontsize=16,color="green",shape="box"];693[label="yu3\n  Eq a",fontsize=16,color="green",shape="box"];694[label="yu41\n  Eq a",fontsize=16,color="green",shape="box"];695[label="Zero",fontsize=16,color="green",shape="box"];696[label="yu40\n  Eq a",fontsize=16,color="green",shape="box"];691[label="(++) findIndices0 (yu10 ==) (zip0 yu110 (Pos yu32)) foldr (++) [] (map (findIndices0 (yu10 ==)) (zipWith zip0 yu111 (numericEnumFrom $! Pos yu33 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="triangle"];691 -> 699[label="",style="solid", color="black", weight=3];
699[label="(++) findIndices00 (yu10 ==) (zip0 yu110 (Pos yu32)) foldr (++) [] (map (findIndices0 (yu10 ==)) (zipWith zip0 yu111 (numericEnumFrom $! Pos yu33 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];699 -> 700[label="",style="solid", color="black", weight=3];
700[label="(++) findIndices00 (yu10 ==) (yu110,Pos yu32) foldr (++) [] (map (findIndices0 (yu10 ==)) (zipWith zip0 yu111 (numericEnumFrom $! Pos yu33 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];700 -> 701[label="",style="solid", color="black", weight=3];
701 -> 702[label="",style="dashed", color="red", weight=0];
701[label="(++) findIndices000 (Pos yu32) (yu10 == yu110) foldr (++) [] (map (findIndices0 (yu10 ==)) (zipWith zip0 yu111 (numericEnumFrom $! Pos yu33 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];701 -> 703[label="",style="dashed", color="magenta", weight=3];
701 -> 704[label="",style="dashed", color="magenta", weight=3];
701 -> 705[label="",style="dashed", color="magenta", weight=3];
701 -> 706[label="",style="dashed", color="magenta", weight=3];
701 -> 707[label="",style="dashed", color="magenta", weight=3];
703[label="yu10\n  Eq a",fontsize=16,color="green",shape="box"];704[label="yu111\n  Eq a",fontsize=16,color="green",shape="box"];705[label="yu10 == yu110\n  Eq a",fontsize=16,color="blue",shape="box"];1404[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1404[label="",style="solid", color="blue", weight=9];
1404 -> 708[label="",style="solid", color="blue", weight=3];
1405[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1405[label="",style="solid", color="blue", weight=9];
1405 -> 709[label="",style="solid", color="blue", weight=3];
1406[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1406[label="",style="solid", color="blue", weight=9];
1406 -> 710[label="",style="solid", color="blue", weight=3];
1407[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1407[label="",style="solid", color="blue", weight=9];
1407 -> 711[label="",style="solid", color="blue", weight=3];
1408[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1408[label="",style="solid", color="blue", weight=9];
1408 -> 712[label="",style="solid", color="blue", weight=3];
1409[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1409[label="",style="solid", color="blue", weight=9];
1409 -> 713[label="",style="solid", color="blue", weight=3];
1410[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1410[label="",style="solid", color="blue", weight=9];
1410 -> 714[label="",style="solid", color="blue", weight=3];
1411[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1411[label="",style="solid", color="blue", weight=9];
1411 -> 715[label="",style="solid", color="blue", weight=3];
1412[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1412[label="",style="solid", color="blue", weight=9];
1412 -> 716[label="",style="solid", color="blue", weight=3];
1413[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1413[label="",style="solid", color="blue", weight=9];
1413 -> 717[label="",style="solid", color="blue", weight=3];
1414[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1414[label="",style="solid", color="blue", weight=9];
1414 -> 718[label="",style="solid", color="blue", weight=3];
1415[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1415[label="",style="solid", color="blue", weight=9];
1415 -> 719[label="",style="solid", color="blue", weight=3];
1416[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1416[label="",style="solid", color="blue", weight=9];
1416 -> 720[label="",style="solid", color="blue", weight=3];
1417[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];705 -> 1417[label="",style="solid", color="blue", weight=9];
1417 -> 721[label="",style="solid", color="blue", weight=3];
706[label="yu32",fontsize=16,color="green",shape="box"];707[label="yu33",fontsize=16,color="green",shape="box"];702[label="(++) findIndices000 (Pos yu40) yu41 foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];1418[label="yu41/False",fontsize=10,color="white",style="solid",shape="box"];702 -> 1418[label="",style="solid", color="burlywood", weight=9];
1418 -> 722[label="",style="solid", color="burlywood", weight=3];
1419[label="yu41/True",fontsize=10,color="white",style="solid",shape="box"];702 -> 1419[label="",style="solid", color="burlywood", weight=9];
1419 -> 723[label="",style="solid", color="burlywood", weight=3];
708[label="yu10 == yu110\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="triangle"];1420[label="yu10/(yu100,yu101,yu102)",fontsize=10,color="white",style="solid",shape="box"];708 -> 1420[label="",style="solid", color="burlywood", weight=9];
1420 -> 724[label="",style="solid", color="burlywood", weight=3];
709[label="yu10 == yu110\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];1421[label="yu10/Left yu100",fontsize=10,color="white",style="solid",shape="box"];709 -> 1421[label="",style="solid", color="burlywood", weight=9];
1421 -> 725[label="",style="solid", color="burlywood", weight=3];
1422[label="yu10/Right yu100",fontsize=10,color="white",style="solid",shape="box"];709 -> 1422[label="",style="solid", color="burlywood", weight=9];
1422 -> 726[label="",style="solid", color="burlywood", weight=3];
710[label="yu10 == yu110",fontsize=16,color="black",shape="triangle"];710 -> 727[label="",style="solid", color="black", weight=3];
711[label="yu10 == yu110\n  Integral a",fontsize=16,color="burlywood",shape="triangle"];1423[label="yu10/yu100 :% yu101",fontsize=10,color="white",style="solid",shape="box"];711 -> 1423[label="",style="solid", color="burlywood", weight=9];
1423 -> 728[label="",style="solid", color="burlywood", weight=3];
712[label="yu10 == yu110",fontsize=16,color="black",shape="triangle"];712 -> 729[label="",style="solid", color="black", weight=3];
713[label="yu10 == yu110\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];1424[label="yu10/Nothing",fontsize=10,color="white",style="solid",shape="box"];713 -> 1424[label="",style="solid", color="burlywood", weight=9];
1424 -> 730[label="",style="solid", color="burlywood", weight=3];
1425[label="yu10/Just yu100",fontsize=10,color="white",style="solid",shape="box"];713 -> 1425[label="",style="solid", color="burlywood", weight=9];
1425 -> 731[label="",style="solid", color="burlywood", weight=3];
714[label="yu10 == yu110",fontsize=16,color="burlywood",shape="triangle"];1426[label="yu10/False",fontsize=10,color="white",style="solid",shape="box"];714 -> 1426[label="",style="solid", color="burlywood", weight=9];
1426 -> 732[label="",style="solid", color="burlywood", weight=3];
1427[label="yu10/True",fontsize=10,color="white",style="solid",shape="box"];714 -> 1427[label="",style="solid", color="burlywood", weight=9];
1427 -> 733[label="",style="solid", color="burlywood", weight=3];
715[label="yu10 == yu110",fontsize=16,color="black",shape="triangle"];715 -> 734[label="",style="solid", color="black", weight=3];
716[label="yu10 == yu110",fontsize=16,color="black",shape="triangle"];716 -> 735[label="",style="solid", color="black", weight=3];
717[label="yu10 == yu110",fontsize=16,color="burlywood",shape="triangle"];1428[label="yu10/Integer yu100",fontsize=10,color="white",style="solid",shape="box"];717 -> 1428[label="",style="solid", color="burlywood", weight=9];
1428 -> 736[label="",style="solid", color="burlywood", weight=3];
718[label="yu10 == yu110\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];1429[label="yu10/(yu100,yu101)",fontsize=10,color="white",style="solid",shape="box"];718 -> 1429[label="",style="solid", color="burlywood", weight=9];
1429 -> 737[label="",style="solid", color="burlywood", weight=3];
719[label="yu10 == yu110",fontsize=16,color="burlywood",shape="triangle"];1430[label="yu10/LT",fontsize=10,color="white",style="solid",shape="box"];719 -> 1430[label="",style="solid", color="burlywood", weight=9];
1430 -> 738[label="",style="solid", color="burlywood", weight=3];
1431[label="yu10/EQ",fontsize=10,color="white",style="solid",shape="box"];719 -> 1431[label="",style="solid", color="burlywood", weight=9];
1431 -> 739[label="",style="solid", color="burlywood", weight=3];
1432[label="yu10/GT",fontsize=10,color="white",style="solid",shape="box"];719 -> 1432[label="",style="solid", color="burlywood", weight=9];
1432 -> 740[label="",style="solid", color="burlywood", weight=3];
720[label="yu10 == yu110",fontsize=16,color="burlywood",shape="triangle"];1433[label="yu10/()",fontsize=10,color="white",style="solid",shape="box"];720 -> 1433[label="",style="solid", color="burlywood", weight=9];
1433 -> 741[label="",style="solid", color="burlywood", weight=3];
721[label="yu10 == yu110\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];1434[label="yu10/yu100 : yu101",fontsize=10,color="white",style="solid",shape="box"];721 -> 1434[label="",style="solid", color="burlywood", weight=9];
1434 -> 742[label="",style="solid", color="burlywood", weight=3];
1435[label="yu10/[]",fontsize=10,color="white",style="solid",shape="box"];721 -> 1435[label="",style="solid", color="burlywood", weight=9];
1435 -> 743[label="",style="solid", color="burlywood", weight=3];
722[label="(++) findIndices000 (Pos yu40) False foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];722 -> 744[label="",style="solid", color="black", weight=3];
723[label="(++) findIndices000 (Pos yu40) True foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];723 -> 745[label="",style="solid", color="black", weight=3];
724[label="(yu100,yu101,yu102) == yu110\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="box"];1436[label="yu110/(yu1100,yu1101,yu1102)",fontsize=10,color="white",style="solid",shape="box"];724 -> 1436[label="",style="solid", color="burlywood", weight=9];
1436 -> 746[label="",style="solid", color="burlywood", weight=3];
725[label="Left yu100 == yu110\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];1437[label="yu110/Left yu1100",fontsize=10,color="white",style="solid",shape="box"];725 -> 1437[label="",style="solid", color="burlywood", weight=9];
1437 -> 747[label="",style="solid", color="burlywood", weight=3];
1438[label="yu110/Right yu1100",fontsize=10,color="white",style="solid",shape="box"];725 -> 1438[label="",style="solid", color="burlywood", weight=9];
1438 -> 748[label="",style="solid", color="burlywood", weight=3];
726[label="Right yu100 == yu110\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];1439[label="yu110/Left yu1100",fontsize=10,color="white",style="solid",shape="box"];726 -> 1439[label="",style="solid", color="burlywood", weight=9];
1439 -> 749[label="",style="solid", color="burlywood", weight=3];
1440[label="yu110/Right yu1100",fontsize=10,color="white",style="solid",shape="box"];726 -> 1440[label="",style="solid", color="burlywood", weight=9];
1440 -> 750[label="",style="solid", color="burlywood", weight=3];
727[label="primEqChar yu10 yu110",fontsize=16,color="burlywood",shape="box"];1441[label="yu10/Char yu100",fontsize=10,color="white",style="solid",shape="box"];727 -> 1441[label="",style="solid", color="burlywood", weight=9];
1441 -> 751[label="",style="solid", color="burlywood", weight=3];
728[label="yu100 :% yu101 == yu110\n  Integral a",fontsize=16,color="burlywood",shape="box"];1442[label="yu110/yu1100 :% yu1101",fontsize=10,color="white",style="solid",shape="box"];728 -> 1442[label="",style="solid", color="burlywood", weight=9];
1442 -> 752[label="",style="solid", color="burlywood", weight=3];
729[label="primEqDouble yu10 yu110",fontsize=16,color="burlywood",shape="box"];1443[label="yu10/Double yu100 yu101",fontsize=10,color="white",style="solid",shape="box"];729 -> 1443[label="",style="solid", color="burlywood", weight=9];
1443 -> 753[label="",style="solid", color="burlywood", weight=3];
730[label="Nothing == yu110\n  Eq a",fontsize=16,color="burlywood",shape="box"];1444[label="yu110/Nothing",fontsize=10,color="white",style="solid",shape="box"];730 -> 1444[label="",style="solid", color="burlywood", weight=9];
1444 -> 754[label="",style="solid", color="burlywood", weight=3];
1445[label="yu110/Just yu1100",fontsize=10,color="white",style="solid",shape="box"];730 -> 1445[label="",style="solid", color="burlywood", weight=9];
1445 -> 755[label="",style="solid", color="burlywood", weight=3];
731[label="Just yu100 == yu110\n  Eq a",fontsize=16,color="burlywood",shape="box"];1446[label="yu110/Nothing",fontsize=10,color="white",style="solid",shape="box"];731 -> 1446[label="",style="solid", color="burlywood", weight=9];
1446 -> 756[label="",style="solid", color="burlywood", weight=3];
1447[label="yu110/Just yu1100",fontsize=10,color="white",style="solid",shape="box"];731 -> 1447[label="",style="solid", color="burlywood", weight=9];
1447 -> 757[label="",style="solid", color="burlywood", weight=3];
732[label="False == yu110",fontsize=16,color="burlywood",shape="box"];1448[label="yu110/False",fontsize=10,color="white",style="solid",shape="box"];732 -> 1448[label="",style="solid", color="burlywood", weight=9];
1448 -> 758[label="",style="solid", color="burlywood", weight=3];
1449[label="yu110/True",fontsize=10,color="white",style="solid",shape="box"];732 -> 1449[label="",style="solid", color="burlywood", weight=9];
1449 -> 759[label="",style="solid", color="burlywood", weight=3];
733[label="True == yu110",fontsize=16,color="burlywood",shape="box"];1450[label="yu110/False",fontsize=10,color="white",style="solid",shape="box"];733 -> 1450[label="",style="solid", color="burlywood", weight=9];
1450 -> 760[label="",style="solid", color="burlywood", weight=3];
1451[label="yu110/True",fontsize=10,color="white",style="solid",shape="box"];733 -> 1451[label="",style="solid", color="burlywood", weight=9];
1451 -> 761[label="",style="solid", color="burlywood", weight=3];
734[label="primEqFloat yu10 yu110",fontsize=16,color="burlywood",shape="box"];1452[label="yu10/Float yu100 yu101",fontsize=10,color="white",style="solid",shape="box"];734 -> 1452[label="",style="solid", color="burlywood", weight=9];
1452 -> 762[label="",style="solid", color="burlywood", weight=3];
735[label="primEqInt yu10 yu110",fontsize=16,color="burlywood",shape="triangle"];1453[label="yu10/Pos yu100",fontsize=10,color="white",style="solid",shape="box"];735 -> 1453[label="",style="solid", color="burlywood", weight=9];
1453 -> 763[label="",style="solid", color="burlywood", weight=3];
1454[label="yu10/Neg yu100",fontsize=10,color="white",style="solid",shape="box"];735 -> 1454[label="",style="solid", color="burlywood", weight=9];
1454 -> 764[label="",style="solid", color="burlywood", weight=3];
736[label="Integer yu100 == yu110",fontsize=16,color="burlywood",shape="box"];1455[label="yu110/Integer yu1100",fontsize=10,color="white",style="solid",shape="box"];736 -> 1455[label="",style="solid", color="burlywood", weight=9];
1455 -> 765[label="",style="solid", color="burlywood", weight=3];
737[label="(yu100,yu101) == yu110\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];1456[label="yu110/(yu1100,yu1101)",fontsize=10,color="white",style="solid",shape="box"];737 -> 1456[label="",style="solid", color="burlywood", weight=9];
1456 -> 766[label="",style="solid", color="burlywood", weight=3];
738[label="LT == yu110",fontsize=16,color="burlywood",shape="box"];1457[label="yu110/LT",fontsize=10,color="white",style="solid",shape="box"];738 -> 1457[label="",style="solid", color="burlywood", weight=9];
1457 -> 767[label="",style="solid", color="burlywood", weight=3];
1458[label="yu110/EQ",fontsize=10,color="white",style="solid",shape="box"];738 -> 1458[label="",style="solid", color="burlywood", weight=9];
1458 -> 768[label="",style="solid", color="burlywood", weight=3];
1459[label="yu110/GT",fontsize=10,color="white",style="solid",shape="box"];738 -> 1459[label="",style="solid", color="burlywood", weight=9];
1459 -> 769[label="",style="solid", color="burlywood", weight=3];
739[label="EQ == yu110",fontsize=16,color="burlywood",shape="box"];1460[label="yu110/LT",fontsize=10,color="white",style="solid",shape="box"];739 -> 1460[label="",style="solid", color="burlywood", weight=9];
1460 -> 770[label="",style="solid", color="burlywood", weight=3];
1461[label="yu110/EQ",fontsize=10,color="white",style="solid",shape="box"];739 -> 1461[label="",style="solid", color="burlywood", weight=9];
1461 -> 771[label="",style="solid", color="burlywood", weight=3];
1462[label="yu110/GT",fontsize=10,color="white",style="solid",shape="box"];739 -> 1462[label="",style="solid", color="burlywood", weight=9];
1462 -> 772[label="",style="solid", color="burlywood", weight=3];
740[label="GT == yu110",fontsize=16,color="burlywood",shape="box"];1463[label="yu110/LT",fontsize=10,color="white",style="solid",shape="box"];740 -> 1463[label="",style="solid", color="burlywood", weight=9];
1463 -> 773[label="",style="solid", color="burlywood", weight=3];
1464[label="yu110/EQ",fontsize=10,color="white",style="solid",shape="box"];740 -> 1464[label="",style="solid", color="burlywood", weight=9];
1464 -> 774[label="",style="solid", color="burlywood", weight=3];
1465[label="yu110/GT",fontsize=10,color="white",style="solid",shape="box"];740 -> 1465[label="",style="solid", color="burlywood", weight=9];
1465 -> 775[label="",style="solid", color="burlywood", weight=3];
741[label="() == yu110",fontsize=16,color="burlywood",shape="box"];1466[label="yu110/()",fontsize=10,color="white",style="solid",shape="box"];741 -> 1466[label="",style="solid", color="burlywood", weight=9];
1466 -> 776[label="",style="solid", color="burlywood", weight=3];
742[label="yu100 : yu101 == yu110\n  Eq a",fontsize=16,color="burlywood",shape="box"];1467[label="yu110/yu1100 : yu1101",fontsize=10,color="white",style="solid",shape="box"];742 -> 1467[label="",style="solid", color="burlywood", weight=9];
1467 -> 777[label="",style="solid", color="burlywood", weight=3];
1468[label="yu110/[]",fontsize=10,color="white",style="solid",shape="box"];742 -> 1468[label="",style="solid", color="burlywood", weight=9];
1468 -> 778[label="",style="solid", color="burlywood", weight=3];
743[label="[] == yu110\n  Eq a",fontsize=16,color="burlywood",shape="box"];1469[label="yu110/yu1100 : yu1101",fontsize=10,color="white",style="solid",shape="box"];743 -> 1469[label="",style="solid", color="burlywood", weight=9];
1469 -> 779[label="",style="solid", color="burlywood", weight=3];
1470[label="yu110/[]",fontsize=10,color="white",style="solid",shape="box"];743 -> 1470[label="",style="solid", color="burlywood", weight=9];
1470 -> 780[label="",style="solid", color="burlywood", weight=3];
744[label="(++) [] foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="triangle"];744 -> 781[label="",style="solid", color="black", weight=3];
745[label="(++) (Pos yu40 : []) foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];745 -> 782[label="",style="solid", color="black", weight=3];
746[label="(yu100,yu101,yu102) == (yu1100,yu1101,yu1102)\n  Eq a  Eq b  Eq c",fontsize=16,color="black",shape="box"];746 -> 783[label="",style="solid", color="black", weight=3];
747[label="Left yu100 == Left yu1100\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];747 -> 784[label="",style="solid", color="black", weight=3];
748[label="Left yu100 == Right yu1100\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];748 -> 785[label="",style="solid", color="black", weight=3];
749[label="Right yu100 == Left yu1100\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];749 -> 786[label="",style="solid", color="black", weight=3];
750[label="Right yu100 == Right yu1100\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];750 -> 787[label="",style="solid", color="black", weight=3];
751[label="primEqChar (Char yu100) yu110",fontsize=16,color="burlywood",shape="box"];1471[label="yu110/Char yu1100",fontsize=10,color="white",style="solid",shape="box"];751 -> 1471[label="",style="solid", color="burlywood", weight=9];
1471 -> 788[label="",style="solid", color="burlywood", weight=3];
752[label="yu100 :% yu101 == yu1100 :% yu1101\n  Integral a",fontsize=16,color="black",shape="box"];752 -> 789[label="",style="solid", color="black", weight=3];
753[label="primEqDouble (Double yu100 yu101) yu110",fontsize=16,color="burlywood",shape="box"];1472[label="yu110/Double yu1100 yu1101",fontsize=10,color="white",style="solid",shape="box"];753 -> 1472[label="",style="solid", color="burlywood", weight=9];
1472 -> 790[label="",style="solid", color="burlywood", weight=3];
754[label="Nothing == Nothing\n  Eq a",fontsize=16,color="black",shape="box"];754 -> 791[label="",style="solid", color="black", weight=3];
755[label="Nothing == Just yu1100\n  Eq a",fontsize=16,color="black",shape="box"];755 -> 792[label="",style="solid", color="black", weight=3];
756[label="Just yu100 == Nothing\n  Eq a",fontsize=16,color="black",shape="box"];756 -> 793[label="",style="solid", color="black", weight=3];
757[label="Just yu100 == Just yu1100\n  Eq a",fontsize=16,color="black",shape="box"];757 -> 794[label="",style="solid", color="black", weight=3];
758[label="False == False",fontsize=16,color="black",shape="box"];758 -> 795[label="",style="solid", color="black", weight=3];
759[label="False == True",fontsize=16,color="black",shape="box"];759 -> 796[label="",style="solid", color="black", weight=3];
760[label="True == False",fontsize=16,color="black",shape="box"];760 -> 797[label="",style="solid", color="black", weight=3];
761[label="True == True",fontsize=16,color="black",shape="box"];761 -> 798[label="",style="solid", color="black", weight=3];
762[label="primEqFloat (Float yu100 yu101) yu110",fontsize=16,color="burlywood",shape="box"];1473[label="yu110/Float yu1100 yu1101",fontsize=10,color="white",style="solid",shape="box"];762 -> 1473[label="",style="solid", color="burlywood", weight=9];
1473 -> 799[label="",style="solid", color="burlywood", weight=3];
763[label="primEqInt (Pos yu100) yu110",fontsize=16,color="burlywood",shape="box"];1474[label="yu100/Succ yu1000",fontsize=10,color="white",style="solid",shape="box"];763 -> 1474[label="",style="solid", color="burlywood", weight=9];
1474 -> 800[label="",style="solid", color="burlywood", weight=3];
1475[label="yu100/Zero",fontsize=10,color="white",style="solid",shape="box"];763 -> 1475[label="",style="solid", color="burlywood", weight=9];
1475 -> 801[label="",style="solid", color="burlywood", weight=3];
764[label="primEqInt (Neg yu100) yu110",fontsize=16,color="burlywood",shape="box"];1476[label="yu100/Succ yu1000",fontsize=10,color="white",style="solid",shape="box"];764 -> 1476[label="",style="solid", color="burlywood", weight=9];
1476 -> 802[label="",style="solid", color="burlywood", weight=3];
1477[label="yu100/Zero",fontsize=10,color="white",style="solid",shape="box"];764 -> 1477[label="",style="solid", color="burlywood", weight=9];
1477 -> 803[label="",style="solid", color="burlywood", weight=3];
765[label="Integer yu100 == Integer yu1100",fontsize=16,color="black",shape="box"];765 -> 804[label="",style="solid", color="black", weight=3];
766[label="(yu100,yu101) == (yu1100,yu1101)\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];766 -> 805[label="",style="solid", color="black", weight=3];
767[label="LT == LT",fontsize=16,color="black",shape="box"];767 -> 806[label="",style="solid", color="black", weight=3];
768[label="LT == EQ",fontsize=16,color="black",shape="box"];768 -> 807[label="",style="solid", color="black", weight=3];
769[label="LT == GT",fontsize=16,color="black",shape="box"];769 -> 808[label="",style="solid", color="black", weight=3];
770[label="EQ == LT",fontsize=16,color="black",shape="box"];770 -> 809[label="",style="solid", color="black", weight=3];
771[label="EQ == EQ",fontsize=16,color="black",shape="box"];771 -> 810[label="",style="solid", color="black", weight=3];
772[label="EQ == GT",fontsize=16,color="black",shape="box"];772 -> 811[label="",style="solid", color="black", weight=3];
773[label="GT == LT",fontsize=16,color="black",shape="box"];773 -> 812[label="",style="solid", color="black", weight=3];
774[label="GT == EQ",fontsize=16,color="black",shape="box"];774 -> 813[label="",style="solid", color="black", weight=3];
775[label="GT == GT",fontsize=16,color="black",shape="box"];775 -> 814[label="",style="solid", color="black", weight=3];
776[label="() == ()",fontsize=16,color="black",shape="box"];776 -> 815[label="",style="solid", color="black", weight=3];
777[label="yu100 : yu101 == yu1100 : yu1101\n  Eq a",fontsize=16,color="black",shape="box"];777 -> 816[label="",style="solid", color="black", weight=3];
778[label="yu100 : yu101 == []\n  Eq a",fontsize=16,color="black",shape="box"];778 -> 817[label="",style="solid", color="black", weight=3];
779[label="[] == yu1100 : yu1101\n  Eq a",fontsize=16,color="black",shape="box"];779 -> 818[label="",style="solid", color="black", weight=3];
780[label="[] == []\n  Eq a",fontsize=16,color="black",shape="box"];780 -> 819[label="",style="solid", color="black", weight=3];
781[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];1478[label="yu43/yu430 : yu431",fontsize=10,color="white",style="solid",shape="box"];781 -> 1478[label="",style="solid", color="burlywood", weight=9];
1478 -> 820[label="",style="solid", color="burlywood", weight=3];
1479[label="yu43/[]",fontsize=10,color="white",style="solid",shape="box"];781 -> 1479[label="",style="solid", color="burlywood", weight=9];
1479 -> 821[label="",style="solid", color="burlywood", weight=3];
782[label="Pos yu40 : [] ++ foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="green",shape="box"];782 -> 822[label="",style="dashed", color="green", weight=3];
783 -> 910[label="",style="dashed", color="red", weight=0];
783[label="yu100 == yu1100 && yu101 == yu1101 && yu102 == yu1102\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];783 -> 911[label="",style="dashed", color="magenta", weight=3];
783 -> 912[label="",style="dashed", color="magenta", weight=3];
784[label="yu100 == yu1100\n  Eq a",fontsize=16,color="blue",shape="box"];1481[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1481[label="",style="solid", color="blue", weight=9];
1481 -> 829[label="",style="solid", color="blue", weight=3];
1482[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1482[label="",style="solid", color="blue", weight=9];
1482 -> 830[label="",style="solid", color="blue", weight=3];
1483[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1483[label="",style="solid", color="blue", weight=9];
1483 -> 831[label="",style="solid", color="blue", weight=3];
1484[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1484[label="",style="solid", color="blue", weight=9];
1484 -> 832[label="",style="solid", color="blue", weight=3];
1485[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1485[label="",style="solid", color="blue", weight=9];
1485 -> 833[label="",style="solid", color="blue", weight=3];
1486[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1486[label="",style="solid", color="blue", weight=9];
1486 -> 834[label="",style="solid", color="blue", weight=3];
1487[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1487[label="",style="solid", color="blue", weight=9];
1487 -> 835[label="",style="solid", color="blue", weight=3];
1488[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1488[label="",style="solid", color="blue", weight=9];
1488 -> 836[label="",style="solid", color="blue", weight=3];
1489[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1489[label="",style="solid", color="blue", weight=9];
1489 -> 837[label="",style="solid", color="blue", weight=3];
1490[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1490[label="",style="solid", color="blue", weight=9];
1490 -> 838[label="",style="solid", color="blue", weight=3];
1491[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1491[label="",style="solid", color="blue", weight=9];
1491 -> 839[label="",style="solid", color="blue", weight=3];
1492[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1492[label="",style="solid", color="blue", weight=9];
1492 -> 840[label="",style="solid", color="blue", weight=3];
1493[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1493[label="",style="solid", color="blue", weight=9];
1493 -> 841[label="",style="solid", color="blue", weight=3];
1494[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];784 -> 1494[label="",style="solid", color="blue", weight=9];
1494 -> 842[label="",style="solid", color="blue", weight=3];
785[label="False",fontsize=16,color="green",shape="box"];786[label="False",fontsize=16,color="green",shape="box"];787[label="yu100 == yu1100\n  Eq a",fontsize=16,color="blue",shape="box"];1495[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1495[label="",style="solid", color="blue", weight=9];
1495 -> 843[label="",style="solid", color="blue", weight=3];
1496[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1496[label="",style="solid", color="blue", weight=9];
1496 -> 844[label="",style="solid", color="blue", weight=3];
1497[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1497[label="",style="solid", color="blue", weight=9];
1497 -> 845[label="",style="solid", color="blue", weight=3];
1498[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1498[label="",style="solid", color="blue", weight=9];
1498 -> 846[label="",style="solid", color="blue", weight=3];
1499[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1499[label="",style="solid", color="blue", weight=9];
1499 -> 847[label="",style="solid", color="blue", weight=3];
1500[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1500[label="",style="solid", color="blue", weight=9];
1500 -> 848[label="",style="solid", color="blue", weight=3];
1501[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1501[label="",style="solid", color="blue", weight=9];
1501 -> 849[label="",style="solid", color="blue", weight=3];
1502[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1502[label="",style="solid", color="blue", weight=9];
1502 -> 850[label="",style="solid", color="blue", weight=3];
1503[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1503[label="",style="solid", color="blue", weight=9];
1503 -> 851[label="",style="solid", color="blue", weight=3];
1504[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1504[label="",style="solid", color="blue", weight=9];
1504 -> 852[label="",style="solid", color="blue", weight=3];
1505[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1505[label="",style="solid", color="blue", weight=9];
1505 -> 853[label="",style="solid", color="blue", weight=3];
1506[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1506[label="",style="solid", color="blue", weight=9];
1506 -> 854[label="",style="solid", color="blue", weight=3];
1507[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1507[label="",style="solid", color="blue", weight=9];
1507 -> 855[label="",style="solid", color="blue", weight=3];
1508[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];787 -> 1508[label="",style="solid", color="blue", weight=9];
1508 -> 856[label="",style="solid", color="blue", weight=3];
788[label="primEqChar (Char yu100) (Char yu1100)",fontsize=16,color="black",shape="box"];788 -> 857[label="",style="solid", color="black", weight=3];
789 -> 910[label="",style="dashed", color="red", weight=0];
789[label="yu100 == yu1100 && yu101 == yu1101\n  Integral a",fontsize=16,color="magenta"];789 -> 913[label="",style="dashed", color="magenta", weight=3];
789 -> 914[label="",style="dashed", color="magenta", weight=3];
790[label="primEqDouble (Double yu100 yu101) (Double yu1100 yu1101)",fontsize=16,color="black",shape="box"];790 -> 868[label="",style="solid", color="black", weight=3];
791[label="True",fontsize=16,color="green",shape="box"];792[label="False",fontsize=16,color="green",shape="box"];793[label="False",fontsize=16,color="green",shape="box"];794[label="yu100 == yu1100\n  Eq a",fontsize=16,color="blue",shape="box"];1510[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1510[label="",style="solid", color="blue", weight=9];
1510 -> 869[label="",style="solid", color="blue", weight=3];
1511[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1511[label="",style="solid", color="blue", weight=9];
1511 -> 870[label="",style="solid", color="blue", weight=3];
1512[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1512[label="",style="solid", color="blue", weight=9];
1512 -> 871[label="",style="solid", color="blue", weight=3];
1513[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1513[label="",style="solid", color="blue", weight=9];
1513 -> 872[label="",style="solid", color="blue", weight=3];
1514[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1514[label="",style="solid", color="blue", weight=9];
1514 -> 873[label="",style="solid", color="blue", weight=3];
1515[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1515[label="",style="solid", color="blue", weight=9];
1515 -> 874[label="",style="solid", color="blue", weight=3];
1516[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1516[label="",style="solid", color="blue", weight=9];
1516 -> 875[label="",style="solid", color="blue", weight=3];
1517[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1517[label="",style="solid", color="blue", weight=9];
1517 -> 876[label="",style="solid", color="blue", weight=3];
1518[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1518[label="",style="solid", color="blue", weight=9];
1518 -> 877[label="",style="solid", color="blue", weight=3];
1519[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1519[label="",style="solid", color="blue", weight=9];
1519 -> 878[label="",style="solid", color="blue", weight=3];
1520[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1520[label="",style="solid", color="blue", weight=9];
1520 -> 879[label="",style="solid", color="blue", weight=3];
1521[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1521[label="",style="solid", color="blue", weight=9];
1521 -> 880[label="",style="solid", color="blue", weight=3];
1522[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1522[label="",style="solid", color="blue", weight=9];
1522 -> 881[label="",style="solid", color="blue", weight=3];
1523[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];794 -> 1523[label="",style="solid", color="blue", weight=9];
1523 -> 882[label="",style="solid", color="blue", weight=3];
795[label="True",fontsize=16,color="green",shape="box"];796[label="False",fontsize=16,color="green",shape="box"];797[label="False",fontsize=16,color="green",shape="box"];798[label="True",fontsize=16,color="green",shape="box"];799[label="primEqFloat (Float yu100 yu101) (Float yu1100 yu1101)",fontsize=16,color="black",shape="box"];799 -> 883[label="",style="solid", color="black", weight=3];
800[label="primEqInt (Pos (Succ yu1000)) yu110",fontsize=16,color="burlywood",shape="box"];1524[label="yu110/Pos yu1100",fontsize=10,color="white",style="solid",shape="box"];800 -> 1524[label="",style="solid", color="burlywood", weight=9];
1524 -> 884[label="",style="solid", color="burlywood", weight=3];
1525[label="yu110/Neg yu1100",fontsize=10,color="white",style="solid",shape="box"];800 -> 1525[label="",style="solid", color="burlywood", weight=9];
1525 -> 885[label="",style="solid", color="burlywood", weight=3];
801[label="primEqInt (Pos Zero) yu110",fontsize=16,color="burlywood",shape="box"];1526[label="yu110/Pos yu1100",fontsize=10,color="white",style="solid",shape="box"];801 -> 1526[label="",style="solid", color="burlywood", weight=9];
1526 -> 886[label="",style="solid", color="burlywood", weight=3];
1527[label="yu110/Neg yu1100",fontsize=10,color="white",style="solid",shape="box"];801 -> 1527[label="",style="solid", color="burlywood", weight=9];
1527 -> 887[label="",style="solid", color="burlywood", weight=3];
802[label="primEqInt (Neg (Succ yu1000)) yu110",fontsize=16,color="burlywood",shape="box"];1528[label="yu110/Pos yu1100",fontsize=10,color="white",style="solid",shape="box"];802 -> 1528[label="",style="solid", color="burlywood", weight=9];
1528 -> 888[label="",style="solid", color="burlywood", weight=3];
1529[label="yu110/Neg yu1100",fontsize=10,color="white",style="solid",shape="box"];802 -> 1529[label="",style="solid", color="burlywood", weight=9];
1529 -> 889[label="",style="solid", color="burlywood", weight=3];
803[label="primEqInt (Neg Zero) yu110",fontsize=16,color="burlywood",shape="box"];1530[label="yu110/Pos yu1100",fontsize=10,color="white",style="solid",shape="box"];803 -> 1530[label="",style="solid", color="burlywood", weight=9];
1530 -> 890[label="",style="solid", color="burlywood", weight=3];
1531[label="yu110/Neg yu1100",fontsize=10,color="white",style="solid",shape="box"];803 -> 1531[label="",style="solid", color="burlywood", weight=9];
1531 -> 891[label="",style="solid", color="burlywood", weight=3];
804 -> 735[label="",style="dashed", color="red", weight=0];
804[label="primEqInt yu100 yu1100",fontsize=16,color="magenta"];804 -> 892[label="",style="dashed", color="magenta", weight=3];
804 -> 893[label="",style="dashed", color="magenta", weight=3];
805 -> 910[label="",style="dashed", color="red", weight=0];
805[label="yu100 == yu1100 && yu101 == yu1101\n  Eq a  Eq b",fontsize=16,color="magenta"];805 -> 915[label="",style="dashed", color="magenta", weight=3];
805 -> 916[label="",style="dashed", color="magenta", weight=3];
806[label="True",fontsize=16,color="green",shape="box"];807[label="False",fontsize=16,color="green",shape="box"];808[label="False",fontsize=16,color="green",shape="box"];809[label="False",fontsize=16,color="green",shape="box"];810[label="True",fontsize=16,color="green",shape="box"];811[label="False",fontsize=16,color="green",shape="box"];812[label="False",fontsize=16,color="green",shape="box"];813[label="False",fontsize=16,color="green",shape="box"];814[label="True",fontsize=16,color="green",shape="box"];815[label="True",fontsize=16,color="green",shape="box"];816 -> 910[label="",style="dashed", color="red", weight=0];
816[label="yu100 == yu1100 && yu101 == yu1101\n  Eq a",fontsize=16,color="magenta"];816 -> 917[label="",style="dashed", color="magenta", weight=3];
816 -> 918[label="",style="dashed", color="magenta", weight=3];
817[label="False",fontsize=16,color="green",shape="box"];818[label="False",fontsize=16,color="green",shape="box"];819[label="True",fontsize=16,color="green",shape="box"];820[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];820 -> 894[label="",style="solid", color="black", weight=3];
821[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];821 -> 895[label="",style="solid", color="black", weight=3];
822 -> 744[label="",style="dashed", color="red", weight=0];
822[label="[] ++ foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu43 (numericEnumFrom $! Pos yu44 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];911[label="yu100 == yu1100\n  Eq a",fontsize=16,color="blue",shape="box"];1536[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1536[label="",style="solid", color="blue", weight=9];
1536 -> 922[label="",style="solid", color="blue", weight=3];
1537[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1537[label="",style="solid", color="blue", weight=9];
1537 -> 923[label="",style="solid", color="blue", weight=3];
1538[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1538[label="",style="solid", color="blue", weight=9];
1538 -> 924[label="",style="solid", color="blue", weight=3];
1539[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1539[label="",style="solid", color="blue", weight=9];
1539 -> 925[label="",style="solid", color="blue", weight=3];
1540[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1540[label="",style="solid", color="blue", weight=9];
1540 -> 926[label="",style="solid", color="blue", weight=3];
1541[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1541[label="",style="solid", color="blue", weight=9];
1541 -> 927[label="",style="solid", color="blue", weight=3];
1542[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1542[label="",style="solid", color="blue", weight=9];
1542 -> 928[label="",style="solid", color="blue", weight=3];
1543[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1543[label="",style="solid", color="blue", weight=9];
1543 -> 929[label="",style="solid", color="blue", weight=3];
1544[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1544[label="",style="solid", color="blue", weight=9];
1544 -> 930[label="",style="solid", color="blue", weight=3];
1545[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1545[label="",style="solid", color="blue", weight=9];
1545 -> 931[label="",style="solid", color="blue", weight=3];
1546[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1546[label="",style="solid", color="blue", weight=9];
1546 -> 932[label="",style="solid", color="blue", weight=3];
1547[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1547[label="",style="solid", color="blue", weight=9];
1547 -> 933[label="",style="solid", color="blue", weight=3];
1548[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1548[label="",style="solid", color="blue", weight=9];
1548 -> 934[label="",style="solid", color="blue", weight=3];
1549[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];911 -> 1549[label="",style="solid", color="blue", weight=9];
1549 -> 935[label="",style="solid", color="blue", weight=3];
912 -> 910[label="",style="dashed", color="red", weight=0];
912[label="yu101 == yu1101 && yu102 == yu1102\n  Eq a  Eq b",fontsize=16,color="magenta"];912 -> 936[label="",style="dashed", color="magenta", weight=3];
912 -> 937[label="",style="dashed", color="magenta", weight=3];
910[label="yu51 && yu63",fontsize=16,color="burlywood",shape="triangle"];1551[label="yu51/False",fontsize=10,color="white",style="solid",shape="box"];910 -> 1551[label="",style="solid", color="burlywood", weight=9];
1551 -> 938[label="",style="solid", color="burlywood", weight=3];
1552[label="yu51/True",fontsize=10,color="white",style="solid",shape="box"];910 -> 1552[label="",style="solid", color="burlywood", weight=9];
1552 -> 939[label="",style="solid", color="burlywood", weight=3];
829 -> 708[label="",style="dashed", color="red", weight=0];
829[label="yu100 == yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];829 -> 940[label="",style="dashed", color="magenta", weight=3];
829 -> 941[label="",style="dashed", color="magenta", weight=3];
830 -> 709[label="",style="dashed", color="red", weight=0];
830[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];830 -> 942[label="",style="dashed", color="magenta", weight=3];
830 -> 943[label="",style="dashed", color="magenta", weight=3];
831 -> 710[label="",style="dashed", color="red", weight=0];
831[label="yu100 == yu1100",fontsize=16,color="magenta"];831 -> 944[label="",style="dashed", color="magenta", weight=3];
831 -> 945[label="",style="dashed", color="magenta", weight=3];
832 -> 711[label="",style="dashed", color="red", weight=0];
832[label="yu100 == yu1100\n  Integral a",fontsize=16,color="magenta"];832 -> 946[label="",style="dashed", color="magenta", weight=3];
832 -> 947[label="",style="dashed", color="magenta", weight=3];
833 -> 712[label="",style="dashed", color="red", weight=0];
833[label="yu100 == yu1100",fontsize=16,color="magenta"];833 -> 948[label="",style="dashed", color="magenta", weight=3];
833 -> 949[label="",style="dashed", color="magenta", weight=3];
834 -> 713[label="",style="dashed", color="red", weight=0];
834[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];834 -> 950[label="",style="dashed", color="magenta", weight=3];
834 -> 951[label="",style="dashed", color="magenta", weight=3];
835 -> 714[label="",style="dashed", color="red", weight=0];
835[label="yu100 == yu1100",fontsize=16,color="magenta"];835 -> 952[label="",style="dashed", color="magenta", weight=3];
835 -> 953[label="",style="dashed", color="magenta", weight=3];
836 -> 715[label="",style="dashed", color="red", weight=0];
836[label="yu100 == yu1100",fontsize=16,color="magenta"];836 -> 954[label="",style="dashed", color="magenta", weight=3];
836 -> 955[label="",style="dashed", color="magenta", weight=3];
837 -> 716[label="",style="dashed", color="red", weight=0];
837[label="yu100 == yu1100",fontsize=16,color="magenta"];837 -> 956[label="",style="dashed", color="magenta", weight=3];
837 -> 957[label="",style="dashed", color="magenta", weight=3];
838 -> 717[label="",style="dashed", color="red", weight=0];
838[label="yu100 == yu1100",fontsize=16,color="magenta"];838 -> 958[label="",style="dashed", color="magenta", weight=3];
838 -> 959[label="",style="dashed", color="magenta", weight=3];
839 -> 718[label="",style="dashed", color="red", weight=0];
839[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];839 -> 960[label="",style="dashed", color="magenta", weight=3];
839 -> 961[label="",style="dashed", color="magenta", weight=3];
840 -> 719[label="",style="dashed", color="red", weight=0];
840[label="yu100 == yu1100",fontsize=16,color="magenta"];840 -> 962[label="",style="dashed", color="magenta", weight=3];
840 -> 963[label="",style="dashed", color="magenta", weight=3];
841 -> 720[label="",style="dashed", color="red", weight=0];
841[label="yu100 == yu1100",fontsize=16,color="magenta"];841 -> 964[label="",style="dashed", color="magenta", weight=3];
841 -> 965[label="",style="dashed", color="magenta", weight=3];
842 -> 721[label="",style="dashed", color="red", weight=0];
842[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];842 -> 966[label="",style="dashed", color="magenta", weight=3];
842 -> 967[label="",style="dashed", color="magenta", weight=3];
843 -> 708[label="",style="dashed", color="red", weight=0];
843[label="yu100 == yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];843 -> 968[label="",style="dashed", color="magenta", weight=3];
843 -> 969[label="",style="dashed", color="magenta", weight=3];
844 -> 709[label="",style="dashed", color="red", weight=0];
844[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];844 -> 970[label="",style="dashed", color="magenta", weight=3];
844 -> 971[label="",style="dashed", color="magenta", weight=3];
845 -> 710[label="",style="dashed", color="red", weight=0];
845[label="yu100 == yu1100",fontsize=16,color="magenta"];845 -> 972[label="",style="dashed", color="magenta", weight=3];
845 -> 973[label="",style="dashed", color="magenta", weight=3];
846 -> 711[label="",style="dashed", color="red", weight=0];
846[label="yu100 == yu1100\n  Integral a",fontsize=16,color="magenta"];846 -> 974[label="",style="dashed", color="magenta", weight=3];
846 -> 975[label="",style="dashed", color="magenta", weight=3];
847 -> 712[label="",style="dashed", color="red", weight=0];
847[label="yu100 == yu1100",fontsize=16,color="magenta"];847 -> 976[label="",style="dashed", color="magenta", weight=3];
847 -> 977[label="",style="dashed", color="magenta", weight=3];
848 -> 713[label="",style="dashed", color="red", weight=0];
848[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];848 -> 978[label="",style="dashed", color="magenta", weight=3];
848 -> 979[label="",style="dashed", color="magenta", weight=3];
849 -> 714[label="",style="dashed", color="red", weight=0];
849[label="yu100 == yu1100",fontsize=16,color="magenta"];849 -> 980[label="",style="dashed", color="magenta", weight=3];
849 -> 981[label="",style="dashed", color="magenta", weight=3];
850 -> 715[label="",style="dashed", color="red", weight=0];
850[label="yu100 == yu1100",fontsize=16,color="magenta"];850 -> 982[label="",style="dashed", color="magenta", weight=3];
850 -> 983[label="",style="dashed", color="magenta", weight=3];
851 -> 716[label="",style="dashed", color="red", weight=0];
851[label="yu100 == yu1100",fontsize=16,color="magenta"];851 -> 984[label="",style="dashed", color="magenta", weight=3];
851 -> 985[label="",style="dashed", color="magenta", weight=3];
852 -> 717[label="",style="dashed", color="red", weight=0];
852[label="yu100 == yu1100",fontsize=16,color="magenta"];852 -> 986[label="",style="dashed", color="magenta", weight=3];
852 -> 987[label="",style="dashed", color="magenta", weight=3];
853 -> 718[label="",style="dashed", color="red", weight=0];
853[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];853 -> 988[label="",style="dashed", color="magenta", weight=3];
853 -> 989[label="",style="dashed", color="magenta", weight=3];
854 -> 719[label="",style="dashed", color="red", weight=0];
854[label="yu100 == yu1100",fontsize=16,color="magenta"];854 -> 990[label="",style="dashed", color="magenta", weight=3];
854 -> 991[label="",style="dashed", color="magenta", weight=3];
855 -> 720[label="",style="dashed", color="red", weight=0];
855[label="yu100 == yu1100",fontsize=16,color="magenta"];855 -> 992[label="",style="dashed", color="magenta", weight=3];
855 -> 993[label="",style="dashed", color="magenta", weight=3];
856 -> 721[label="",style="dashed", color="red", weight=0];
856[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];856 -> 994[label="",style="dashed", color="magenta", weight=3];
856 -> 995[label="",style="dashed", color="magenta", weight=3];
857[label="primEqNat yu100 yu1100",fontsize=16,color="burlywood",shape="triangle"];1581[label="yu100/Succ yu1000",fontsize=10,color="white",style="solid",shape="box"];857 -> 1581[label="",style="solid", color="burlywood", weight=9];
1581 -> 996[label="",style="solid", color="burlywood", weight=3];
1582[label="yu100/Zero",fontsize=10,color="white",style="solid",shape="box"];857 -> 1582[label="",style="solid", color="burlywood", weight=9];
1582 -> 997[label="",style="solid", color="burlywood", weight=3];
913[label="yu100 == yu1100\n  Integral a",fontsize=16,color="blue",shape="box"];1583[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];913 -> 1583[label="",style="solid", color="blue", weight=9];
1583 -> 998[label="",style="solid", color="blue", weight=3];
1584[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];913 -> 1584[label="",style="solid", color="blue", weight=9];
1584 -> 999[label="",style="solid", color="blue", weight=3];
914[label="yu101 == yu1101\n  Integral a",fontsize=16,color="blue",shape="box"];1585[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];914 -> 1585[label="",style="solid", color="blue", weight=9];
1585 -> 1000[label="",style="solid", color="blue", weight=3];
1586[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];914 -> 1586[label="",style="solid", color="blue", weight=9];
1586 -> 1001[label="",style="solid", color="blue", weight=3];
868 -> 716[label="",style="dashed", color="red", weight=0];
868[label="yu100 * yu1100 == yu101 * yu1101",fontsize=16,color="magenta"];868 -> 1002[label="",style="dashed", color="magenta", weight=3];
868 -> 1003[label="",style="dashed", color="magenta", weight=3];
869 -> 708[label="",style="dashed", color="red", weight=0];
869[label="yu100 == yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];869 -> 1004[label="",style="dashed", color="magenta", weight=3];
869 -> 1005[label="",style="dashed", color="magenta", weight=3];
870 -> 709[label="",style="dashed", color="red", weight=0];
870[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];870 -> 1006[label="",style="dashed", color="magenta", weight=3];
870 -> 1007[label="",style="dashed", color="magenta", weight=3];
871 -> 710[label="",style="dashed", color="red", weight=0];
871[label="yu100 == yu1100",fontsize=16,color="magenta"];871 -> 1008[label="",style="dashed", color="magenta", weight=3];
871 -> 1009[label="",style="dashed", color="magenta", weight=3];
872 -> 711[label="",style="dashed", color="red", weight=0];
872[label="yu100 == yu1100\n  Integral a",fontsize=16,color="magenta"];872 -> 1010[label="",style="dashed", color="magenta", weight=3];
872 -> 1011[label="",style="dashed", color="magenta", weight=3];
873 -> 712[label="",style="dashed", color="red", weight=0];
873[label="yu100 == yu1100",fontsize=16,color="magenta"];873 -> 1012[label="",style="dashed", color="magenta", weight=3];
873 -> 1013[label="",style="dashed", color="magenta", weight=3];
874 -> 713[label="",style="dashed", color="red", weight=0];
874[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];874 -> 1014[label="",style="dashed", color="magenta", weight=3];
874 -> 1015[label="",style="dashed", color="magenta", weight=3];
875 -> 714[label="",style="dashed", color="red", weight=0];
875[label="yu100 == yu1100",fontsize=16,color="magenta"];875 -> 1016[label="",style="dashed", color="magenta", weight=3];
875 -> 1017[label="",style="dashed", color="magenta", weight=3];
876 -> 715[label="",style="dashed", color="red", weight=0];
876[label="yu100 == yu1100",fontsize=16,color="magenta"];876 -> 1018[label="",style="dashed", color="magenta", weight=3];
876 -> 1019[label="",style="dashed", color="magenta", weight=3];
877 -> 716[label="",style="dashed", color="red", weight=0];
877[label="yu100 == yu1100",fontsize=16,color="magenta"];877 -> 1020[label="",style="dashed", color="magenta", weight=3];
877 -> 1021[label="",style="dashed", color="magenta", weight=3];
878 -> 717[label="",style="dashed", color="red", weight=0];
878[label="yu100 == yu1100",fontsize=16,color="magenta"];878 -> 1022[label="",style="dashed", color="magenta", weight=3];
878 -> 1023[label="",style="dashed", color="magenta", weight=3];
879 -> 718[label="",style="dashed", color="red", weight=0];
879[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];879 -> 1024[label="",style="dashed", color="magenta", weight=3];
879 -> 1025[label="",style="dashed", color="magenta", weight=3];
880 -> 719[label="",style="dashed", color="red", weight=0];
880[label="yu100 == yu1100",fontsize=16,color="magenta"];880 -> 1026[label="",style="dashed", color="magenta", weight=3];
880 -> 1027[label="",style="dashed", color="magenta", weight=3];
881 -> 720[label="",style="dashed", color="red", weight=0];
881[label="yu100 == yu1100",fontsize=16,color="magenta"];881 -> 1028[label="",style="dashed", color="magenta", weight=3];
881 -> 1029[label="",style="dashed", color="magenta", weight=3];
882 -> 721[label="",style="dashed", color="red", weight=0];
882[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];882 -> 1030[label="",style="dashed", color="magenta", weight=3];
882 -> 1031[label="",style="dashed", color="magenta", weight=3];
883 -> 716[label="",style="dashed", color="red", weight=0];
883[label="yu100 * yu1100 == yu101 * yu1101",fontsize=16,color="magenta"];883 -> 1032[label="",style="dashed", color="magenta", weight=3];
883 -> 1033[label="",style="dashed", color="magenta", weight=3];
884[label="primEqInt (Pos (Succ yu1000)) (Pos yu1100)",fontsize=16,color="burlywood",shape="box"];1603[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];884 -> 1603[label="",style="solid", color="burlywood", weight=9];
1603 -> 1034[label="",style="solid", color="burlywood", weight=3];
1604[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];884 -> 1604[label="",style="solid", color="burlywood", weight=9];
1604 -> 1035[label="",style="solid", color="burlywood", weight=3];
885[label="primEqInt (Pos (Succ yu1000)) (Neg yu1100)",fontsize=16,color="black",shape="box"];885 -> 1036[label="",style="solid", color="black", weight=3];
886[label="primEqInt (Pos Zero) (Pos yu1100)",fontsize=16,color="burlywood",shape="box"];1605[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];886 -> 1605[label="",style="solid", color="burlywood", weight=9];
1605 -> 1037[label="",style="solid", color="burlywood", weight=3];
1606[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];886 -> 1606[label="",style="solid", color="burlywood", weight=9];
1606 -> 1038[label="",style="solid", color="burlywood", weight=3];
887[label="primEqInt (Pos Zero) (Neg yu1100)",fontsize=16,color="burlywood",shape="box"];1607[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];887 -> 1607[label="",style="solid", color="burlywood", weight=9];
1607 -> 1039[label="",style="solid", color="burlywood", weight=3];
1608[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];887 -> 1608[label="",style="solid", color="burlywood", weight=9];
1608 -> 1040[label="",style="solid", color="burlywood", weight=3];
888[label="primEqInt (Neg (Succ yu1000)) (Pos yu1100)",fontsize=16,color="black",shape="box"];888 -> 1041[label="",style="solid", color="black", weight=3];
889[label="primEqInt (Neg (Succ yu1000)) (Neg yu1100)",fontsize=16,color="burlywood",shape="box"];1609[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];889 -> 1609[label="",style="solid", color="burlywood", weight=9];
1609 -> 1042[label="",style="solid", color="burlywood", weight=3];
1610[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];889 -> 1610[label="",style="solid", color="burlywood", weight=9];
1610 -> 1043[label="",style="solid", color="burlywood", weight=3];
890[label="primEqInt (Neg Zero) (Pos yu1100)",fontsize=16,color="burlywood",shape="box"];1611[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];890 -> 1611[label="",style="solid", color="burlywood", weight=9];
1611 -> 1044[label="",style="solid", color="burlywood", weight=3];
1612[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];890 -> 1612[label="",style="solid", color="burlywood", weight=9];
1612 -> 1045[label="",style="solid", color="burlywood", weight=3];
891[label="primEqInt (Neg Zero) (Neg yu1100)",fontsize=16,color="burlywood",shape="box"];1613[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];891 -> 1613[label="",style="solid", color="burlywood", weight=9];
1613 -> 1046[label="",style="solid", color="burlywood", weight=3];
1614[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];891 -> 1614[label="",style="solid", color="burlywood", weight=9];
1614 -> 1047[label="",style="solid", color="burlywood", weight=3];
892[label="yu100",fontsize=16,color="green",shape="box"];893[label="yu1100",fontsize=16,color="green",shape="box"];915[label="yu100 == yu1100\n  Eq a",fontsize=16,color="blue",shape="box"];1615[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1615[label="",style="solid", color="blue", weight=9];
1615 -> 1048[label="",style="solid", color="blue", weight=3];
1616[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1616[label="",style="solid", color="blue", weight=9];
1616 -> 1049[label="",style="solid", color="blue", weight=3];
1617[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1617[label="",style="solid", color="blue", weight=9];
1617 -> 1050[label="",style="solid", color="blue", weight=3];
1618[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1618[label="",style="solid", color="blue", weight=9];
1618 -> 1051[label="",style="solid", color="blue", weight=3];
1619[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1619[label="",style="solid", color="blue", weight=9];
1619 -> 1052[label="",style="solid", color="blue", weight=3];
1620[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1620[label="",style="solid", color="blue", weight=9];
1620 -> 1053[label="",style="solid", color="blue", weight=3];
1621[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1621[label="",style="solid", color="blue", weight=9];
1621 -> 1054[label="",style="solid", color="blue", weight=3];
1622[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1622[label="",style="solid", color="blue", weight=9];
1622 -> 1055[label="",style="solid", color="blue", weight=3];
1623[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1623[label="",style="solid", color="blue", weight=9];
1623 -> 1056[label="",style="solid", color="blue", weight=3];
1624[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1624[label="",style="solid", color="blue", weight=9];
1624 -> 1057[label="",style="solid", color="blue", weight=3];
1625[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1625[label="",style="solid", color="blue", weight=9];
1625 -> 1058[label="",style="solid", color="blue", weight=3];
1626[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1626[label="",style="solid", color="blue", weight=9];
1626 -> 1059[label="",style="solid", color="blue", weight=3];
1627[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1627[label="",style="solid", color="blue", weight=9];
1627 -> 1060[label="",style="solid", color="blue", weight=3];
1628[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];915 -> 1628[label="",style="solid", color="blue", weight=9];
1628 -> 1061[label="",style="solid", color="blue", weight=3];
916[label="yu101 == yu1101\n  Eq a",fontsize=16,color="blue",shape="box"];1629[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1629[label="",style="solid", color="blue", weight=9];
1629 -> 1062[label="",style="solid", color="blue", weight=3];
1630[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1630[label="",style="solid", color="blue", weight=9];
1630 -> 1063[label="",style="solid", color="blue", weight=3];
1631[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1631[label="",style="solid", color="blue", weight=9];
1631 -> 1064[label="",style="solid", color="blue", weight=3];
1632[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1632[label="",style="solid", color="blue", weight=9];
1632 -> 1065[label="",style="solid", color="blue", weight=3];
1633[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1633[label="",style="solid", color="blue", weight=9];
1633 -> 1066[label="",style="solid", color="blue", weight=3];
1634[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1634[label="",style="solid", color="blue", weight=9];
1634 -> 1067[label="",style="solid", color="blue", weight=3];
1635[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1635[label="",style="solid", color="blue", weight=9];
1635 -> 1068[label="",style="solid", color="blue", weight=3];
1636[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1636[label="",style="solid", color="blue", weight=9];
1636 -> 1069[label="",style="solid", color="blue", weight=3];
1637[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1637[label="",style="solid", color="blue", weight=9];
1637 -> 1070[label="",style="solid", color="blue", weight=3];
1638[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1638[label="",style="solid", color="blue", weight=9];
1638 -> 1071[label="",style="solid", color="blue", weight=3];
1639[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1639[label="",style="solid", color="blue", weight=9];
1639 -> 1072[label="",style="solid", color="blue", weight=3];
1640[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1640[label="",style="solid", color="blue", weight=9];
1640 -> 1073[label="",style="solid", color="blue", weight=3];
1641[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1641[label="",style="solid", color="blue", weight=9];
1641 -> 1074[label="",style="solid", color="blue", weight=3];
1642[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];916 -> 1642[label="",style="solid", color="blue", weight=9];
1642 -> 1075[label="",style="solid", color="blue", weight=3];
917[label="yu100 == yu1100\n  Eq a",fontsize=16,color="blue",shape="box"];1643[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1643[label="",style="solid", color="blue", weight=9];
1643 -> 1076[label="",style="solid", color="blue", weight=3];
1644[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1644[label="",style="solid", color="blue", weight=9];
1644 -> 1077[label="",style="solid", color="blue", weight=3];
1645[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1645[label="",style="solid", color="blue", weight=9];
1645 -> 1078[label="",style="solid", color="blue", weight=3];
1646[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1646[label="",style="solid", color="blue", weight=9];
1646 -> 1079[label="",style="solid", color="blue", weight=3];
1647[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1647[label="",style="solid", color="blue", weight=9];
1647 -> 1080[label="",style="solid", color="blue", weight=3];
1648[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1648[label="",style="solid", color="blue", weight=9];
1648 -> 1081[label="",style="solid", color="blue", weight=3];
1649[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1649[label="",style="solid", color="blue", weight=9];
1649 -> 1082[label="",style="solid", color="blue", weight=3];
1650[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1650[label="",style="solid", color="blue", weight=9];
1650 -> 1083[label="",style="solid", color="blue", weight=3];
1651[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1651[label="",style="solid", color="blue", weight=9];
1651 -> 1084[label="",style="solid", color="blue", weight=3];
1652[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1652[label="",style="solid", color="blue", weight=9];
1652 -> 1085[label="",style="solid", color="blue", weight=3];
1653[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1653[label="",style="solid", color="blue", weight=9];
1653 -> 1086[label="",style="solid", color="blue", weight=3];
1654[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1654[label="",style="solid", color="blue", weight=9];
1654 -> 1087[label="",style="solid", color="blue", weight=3];
1655[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1655[label="",style="solid", color="blue", weight=9];
1655 -> 1088[label="",style="solid", color="blue", weight=3];
1656[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];917 -> 1656[label="",style="solid", color="blue", weight=9];
1656 -> 1089[label="",style="solid", color="blue", weight=3];
918 -> 721[label="",style="dashed", color="red", weight=0];
918[label="yu101 == yu1101\n  Eq a",fontsize=16,color="magenta"];918 -> 1090[label="",style="dashed", color="magenta", weight=3];
918 -> 1091[label="",style="dashed", color="magenta", weight=3];
894[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (Pos yu44 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu44 + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];894 -> 1092[label="",style="solid", color="black", weight=3];
895 -> 14[label="",style="dashed", color="red", weight=0];
895[label="foldr (++) [] (map (findIndices0 (yu42 ==)) [])\n  Eq a",fontsize=16,color="magenta"];895 -> 1093[label="",style="dashed", color="magenta", weight=3];
922 -> 708[label="",style="dashed", color="red", weight=0];
922[label="yu100 == yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];922 -> 1094[label="",style="dashed", color="magenta", weight=3];
922 -> 1095[label="",style="dashed", color="magenta", weight=3];
923 -> 709[label="",style="dashed", color="red", weight=0];
923[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];923 -> 1096[label="",style="dashed", color="magenta", weight=3];
923 -> 1097[label="",style="dashed", color="magenta", weight=3];
924 -> 710[label="",style="dashed", color="red", weight=0];
924[label="yu100 == yu1100",fontsize=16,color="magenta"];924 -> 1098[label="",style="dashed", color="magenta", weight=3];
924 -> 1099[label="",style="dashed", color="magenta", weight=3];
925 -> 711[label="",style="dashed", color="red", weight=0];
925[label="yu100 == yu1100\n  Integral a",fontsize=16,color="magenta"];925 -> 1100[label="",style="dashed", color="magenta", weight=3];
925 -> 1101[label="",style="dashed", color="magenta", weight=3];
926 -> 712[label="",style="dashed", color="red", weight=0];
926[label="yu100 == yu1100",fontsize=16,color="magenta"];926 -> 1102[label="",style="dashed", color="magenta", weight=3];
926 -> 1103[label="",style="dashed", color="magenta", weight=3];
927 -> 713[label="",style="dashed", color="red", weight=0];
927[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];927 -> 1104[label="",style="dashed", color="magenta", weight=3];
927 -> 1105[label="",style="dashed", color="magenta", weight=3];
928 -> 714[label="",style="dashed", color="red", weight=0];
928[label="yu100 == yu1100",fontsize=16,color="magenta"];928 -> 1106[label="",style="dashed", color="magenta", weight=3];
928 -> 1107[label="",style="dashed", color="magenta", weight=3];
929 -> 715[label="",style="dashed", color="red", weight=0];
929[label="yu100 == yu1100",fontsize=16,color="magenta"];929 -> 1108[label="",style="dashed", color="magenta", weight=3];
929 -> 1109[label="",style="dashed", color="magenta", weight=3];
930 -> 716[label="",style="dashed", color="red", weight=0];
930[label="yu100 == yu1100",fontsize=16,color="magenta"];930 -> 1110[label="",style="dashed", color="magenta", weight=3];
930 -> 1111[label="",style="dashed", color="magenta", weight=3];
931 -> 717[label="",style="dashed", color="red", weight=0];
931[label="yu100 == yu1100",fontsize=16,color="magenta"];931 -> 1112[label="",style="dashed", color="magenta", weight=3];
931 -> 1113[label="",style="dashed", color="magenta", weight=3];
932 -> 718[label="",style="dashed", color="red", weight=0];
932[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];932 -> 1114[label="",style="dashed", color="magenta", weight=3];
932 -> 1115[label="",style="dashed", color="magenta", weight=3];
933 -> 719[label="",style="dashed", color="red", weight=0];
933[label="yu100 == yu1100",fontsize=16,color="magenta"];933 -> 1116[label="",style="dashed", color="magenta", weight=3];
933 -> 1117[label="",style="dashed", color="magenta", weight=3];
934 -> 720[label="",style="dashed", color="red", weight=0];
934[label="yu100 == yu1100",fontsize=16,color="magenta"];934 -> 1118[label="",style="dashed", color="magenta", weight=3];
934 -> 1119[label="",style="dashed", color="magenta", weight=3];
935 -> 721[label="",style="dashed", color="red", weight=0];
935[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];935 -> 1120[label="",style="dashed", color="magenta", weight=3];
935 -> 1121[label="",style="dashed", color="magenta", weight=3];
936[label="yu101 == yu1101\n  Eq a",fontsize=16,color="blue",shape="box"];1673[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1673[label="",style="solid", color="blue", weight=9];
1673 -> 1122[label="",style="solid", color="blue", weight=3];
1674[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1674[label="",style="solid", color="blue", weight=9];
1674 -> 1123[label="",style="solid", color="blue", weight=3];
1675[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1675[label="",style="solid", color="blue", weight=9];
1675 -> 1124[label="",style="solid", color="blue", weight=3];
1676[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1676[label="",style="solid", color="blue", weight=9];
1676 -> 1125[label="",style="solid", color="blue", weight=3];
1677[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1677[label="",style="solid", color="blue", weight=9];
1677 -> 1126[label="",style="solid", color="blue", weight=3];
1678[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1678[label="",style="solid", color="blue", weight=9];
1678 -> 1127[label="",style="solid", color="blue", weight=3];
1679[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1679[label="",style="solid", color="blue", weight=9];
1679 -> 1128[label="",style="solid", color="blue", weight=3];
1680[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1680[label="",style="solid", color="blue", weight=9];
1680 -> 1129[label="",style="solid", color="blue", weight=3];
1681[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1681[label="",style="solid", color="blue", weight=9];
1681 -> 1130[label="",style="solid", color="blue", weight=3];
1682[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1682[label="",style="solid", color="blue", weight=9];
1682 -> 1131[label="",style="solid", color="blue", weight=3];
1683[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1683[label="",style="solid", color="blue", weight=9];
1683 -> 1132[label="",style="solid", color="blue", weight=3];
1684[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1684[label="",style="solid", color="blue", weight=9];
1684 -> 1133[label="",style="solid", color="blue", weight=3];
1685[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1685[label="",style="solid", color="blue", weight=9];
1685 -> 1134[label="",style="solid", color="blue", weight=3];
1686[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1686[label="",style="solid", color="blue", weight=9];
1686 -> 1135[label="",style="solid", color="blue", weight=3];
937[label="yu102 == yu1102\n  Eq a",fontsize=16,color="blue",shape="box"];1687[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1687[label="",style="solid", color="blue", weight=9];
1687 -> 1136[label="",style="solid", color="blue", weight=3];
1688[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1688[label="",style="solid", color="blue", weight=9];
1688 -> 1137[label="",style="solid", color="blue", weight=3];
1689[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1689[label="",style="solid", color="blue", weight=9];
1689 -> 1138[label="",style="solid", color="blue", weight=3];
1690[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1690[label="",style="solid", color="blue", weight=9];
1690 -> 1139[label="",style="solid", color="blue", weight=3];
1691[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1691[label="",style="solid", color="blue", weight=9];
1691 -> 1140[label="",style="solid", color="blue", weight=3];
1692[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1692[label="",style="solid", color="blue", weight=9];
1692 -> 1141[label="",style="solid", color="blue", weight=3];
1693[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1693[label="",style="solid", color="blue", weight=9];
1693 -> 1142[label="",style="solid", color="blue", weight=3];
1694[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1694[label="",style="solid", color="blue", weight=9];
1694 -> 1143[label="",style="solid", color="blue", weight=3];
1695[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1695[label="",style="solid", color="blue", weight=9];
1695 -> 1144[label="",style="solid", color="blue", weight=3];
1696[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1696[label="",style="solid", color="blue", weight=9];
1696 -> 1145[label="",style="solid", color="blue", weight=3];
1697[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1697[label="",style="solid", color="blue", weight=9];
1697 -> 1146[label="",style="solid", color="blue", weight=3];
1698[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1698[label="",style="solid", color="blue", weight=9];
1698 -> 1147[label="",style="solid", color="blue", weight=3];
1699[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1699[label="",style="solid", color="blue", weight=9];
1699 -> 1148[label="",style="solid", color="blue", weight=3];
1700[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];937 -> 1700[label="",style="solid", color="blue", weight=9];
1700 -> 1149[label="",style="solid", color="blue", weight=3];
938[label="False && yu63",fontsize=16,color="black",shape="box"];938 -> 1150[label="",style="solid", color="black", weight=3];
939[label="True && yu63",fontsize=16,color="black",shape="box"];939 -> 1151[label="",style="solid", color="black", weight=3];
940[label="yu100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];941[label="yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];942[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];943[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];944[label="yu100",fontsize=16,color="green",shape="box"];945[label="yu1100",fontsize=16,color="green",shape="box"];946[label="yu100\n  Integral a",fontsize=16,color="green",shape="box"];947[label="yu1100\n  Integral a",fontsize=16,color="green",shape="box"];948[label="yu100",fontsize=16,color="green",shape="box"];949[label="yu1100",fontsize=16,color="green",shape="box"];950[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];951[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];952[label="yu100",fontsize=16,color="green",shape="box"];953[label="yu1100",fontsize=16,color="green",shape="box"];954[label="yu100",fontsize=16,color="green",shape="box"];955[label="yu1100",fontsize=16,color="green",shape="box"];956[label="yu100",fontsize=16,color="green",shape="box"];957[label="yu1100",fontsize=16,color="green",shape="box"];958[label="yu100",fontsize=16,color="green",shape="box"];959[label="yu1100",fontsize=16,color="green",shape="box"];960[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];961[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];962[label="yu100",fontsize=16,color="green",shape="box"];963[label="yu1100",fontsize=16,color="green",shape="box"];964[label="yu100",fontsize=16,color="green",shape="box"];965[label="yu1100",fontsize=16,color="green",shape="box"];966[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];967[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];968[label="yu100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];969[label="yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];970[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];971[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];972[label="yu100",fontsize=16,color="green",shape="box"];973[label="yu1100",fontsize=16,color="green",shape="box"];974[label="yu100\n  Integral a",fontsize=16,color="green",shape="box"];975[label="yu1100\n  Integral a",fontsize=16,color="green",shape="box"];976[label="yu100",fontsize=16,color="green",shape="box"];977[label="yu1100",fontsize=16,color="green",shape="box"];978[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];979[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];980[label="yu100",fontsize=16,color="green",shape="box"];981[label="yu1100",fontsize=16,color="green",shape="box"];982[label="yu100",fontsize=16,color="green",shape="box"];983[label="yu1100",fontsize=16,color="green",shape="box"];984[label="yu100",fontsize=16,color="green",shape="box"];985[label="yu1100",fontsize=16,color="green",shape="box"];986[label="yu100",fontsize=16,color="green",shape="box"];987[label="yu1100",fontsize=16,color="green",shape="box"];988[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];989[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];990[label="yu100",fontsize=16,color="green",shape="box"];991[label="yu1100",fontsize=16,color="green",shape="box"];992[label="yu100",fontsize=16,color="green",shape="box"];993[label="yu1100",fontsize=16,color="green",shape="box"];994[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];995[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];996[label="primEqNat (Succ yu1000) yu1100",fontsize=16,color="burlywood",shape="box"];1701[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];996 -> 1701[label="",style="solid", color="burlywood", weight=9];
1701 -> 1152[label="",style="solid", color="burlywood", weight=3];
1702[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];996 -> 1702[label="",style="solid", color="burlywood", weight=9];
1702 -> 1153[label="",style="solid", color="burlywood", weight=3];
997[label="primEqNat Zero yu1100",fontsize=16,color="burlywood",shape="box"];1703[label="yu1100/Succ yu11000",fontsize=10,color="white",style="solid",shape="box"];997 -> 1703[label="",style="solid", color="burlywood", weight=9];
1703 -> 1154[label="",style="solid", color="burlywood", weight=3];
1704[label="yu1100/Zero",fontsize=10,color="white",style="solid",shape="box"];997 -> 1704[label="",style="solid", color="burlywood", weight=9];
1704 -> 1155[label="",style="solid", color="burlywood", weight=3];
998 -> 716[label="",style="dashed", color="red", weight=0];
998[label="yu100 == yu1100",fontsize=16,color="magenta"];998 -> 1156[label="",style="dashed", color="magenta", weight=3];
998 -> 1157[label="",style="dashed", color="magenta", weight=3];
999 -> 717[label="",style="dashed", color="red", weight=0];
999[label="yu100 == yu1100",fontsize=16,color="magenta"];999 -> 1158[label="",style="dashed", color="magenta", weight=3];
999 -> 1159[label="",style="dashed", color="magenta", weight=3];
1000 -> 716[label="",style="dashed", color="red", weight=0];
1000[label="yu101 == yu1101",fontsize=16,color="magenta"];1000 -> 1160[label="",style="dashed", color="magenta", weight=3];
1000 -> 1161[label="",style="dashed", color="magenta", weight=3];
1001 -> 717[label="",style="dashed", color="red", weight=0];
1001[label="yu101 == yu1101",fontsize=16,color="magenta"];1001 -> 1162[label="",style="dashed", color="magenta", weight=3];
1001 -> 1163[label="",style="dashed", color="magenta", weight=3];
1002[label="yu100 * yu1100",fontsize=16,color="black",shape="triangle"];1002 -> 1164[label="",style="solid", color="black", weight=3];
1003 -> 1002[label="",style="dashed", color="red", weight=0];
1003[label="yu101 * yu1101",fontsize=16,color="magenta"];1003 -> 1165[label="",style="dashed", color="magenta", weight=3];
1003 -> 1166[label="",style="dashed", color="magenta", weight=3];
1004[label="yu100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1005[label="yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1006[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1007[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1008[label="yu100",fontsize=16,color="green",shape="box"];1009[label="yu1100",fontsize=16,color="green",shape="box"];1010[label="yu100\n  Integral a",fontsize=16,color="green",shape="box"];1011[label="yu1100\n  Integral a",fontsize=16,color="green",shape="box"];1012[label="yu100",fontsize=16,color="green",shape="box"];1013[label="yu1100",fontsize=16,color="green",shape="box"];1014[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1015[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1016[label="yu100",fontsize=16,color="green",shape="box"];1017[label="yu1100",fontsize=16,color="green",shape="box"];1018[label="yu100",fontsize=16,color="green",shape="box"];1019[label="yu1100",fontsize=16,color="green",shape="box"];1020[label="yu100",fontsize=16,color="green",shape="box"];1021[label="yu1100",fontsize=16,color="green",shape="box"];1022[label="yu100",fontsize=16,color="green",shape="box"];1023[label="yu1100",fontsize=16,color="green",shape="box"];1024[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1025[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1026[label="yu100",fontsize=16,color="green",shape="box"];1027[label="yu1100",fontsize=16,color="green",shape="box"];1028[label="yu100",fontsize=16,color="green",shape="box"];1029[label="yu1100",fontsize=16,color="green",shape="box"];1030[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1031[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1032 -> 1002[label="",style="dashed", color="red", weight=0];
1032[label="yu100 * yu1100",fontsize=16,color="magenta"];1032 -> 1167[label="",style="dashed", color="magenta", weight=3];
1032 -> 1168[label="",style="dashed", color="magenta", weight=3];
1033 -> 1002[label="",style="dashed", color="red", weight=0];
1033[label="yu101 * yu1101",fontsize=16,color="magenta"];1033 -> 1169[label="",style="dashed", color="magenta", weight=3];
1033 -> 1170[label="",style="dashed", color="magenta", weight=3];
1034[label="primEqInt (Pos (Succ yu1000)) (Pos (Succ yu11000))",fontsize=16,color="black",shape="box"];1034 -> 1171[label="",style="solid", color="black", weight=3];
1035[label="primEqInt (Pos (Succ yu1000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1035 -> 1172[label="",style="solid", color="black", weight=3];
1036[label="False",fontsize=16,color="green",shape="box"];1037[label="primEqInt (Pos Zero) (Pos (Succ yu11000))",fontsize=16,color="black",shape="box"];1037 -> 1173[label="",style="solid", color="black", weight=3];
1038[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1038 -> 1174[label="",style="solid", color="black", weight=3];
1039[label="primEqInt (Pos Zero) (Neg (Succ yu11000))",fontsize=16,color="black",shape="box"];1039 -> 1175[label="",style="solid", color="black", weight=3];
1040[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1040 -> 1176[label="",style="solid", color="black", weight=3];
1041[label="False",fontsize=16,color="green",shape="box"];1042[label="primEqInt (Neg (Succ yu1000)) (Neg (Succ yu11000))",fontsize=16,color="black",shape="box"];1042 -> 1177[label="",style="solid", color="black", weight=3];
1043[label="primEqInt (Neg (Succ yu1000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1043 -> 1178[label="",style="solid", color="black", weight=3];
1044[label="primEqInt (Neg Zero) (Pos (Succ yu11000))",fontsize=16,color="black",shape="box"];1044 -> 1179[label="",style="solid", color="black", weight=3];
1045[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1045 -> 1180[label="",style="solid", color="black", weight=3];
1046[label="primEqInt (Neg Zero) (Neg (Succ yu11000))",fontsize=16,color="black",shape="box"];1046 -> 1181[label="",style="solid", color="black", weight=3];
1047[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1047 -> 1182[label="",style="solid", color="black", weight=3];
1048 -> 708[label="",style="dashed", color="red", weight=0];
1048[label="yu100 == yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1048 -> 1183[label="",style="dashed", color="magenta", weight=3];
1048 -> 1184[label="",style="dashed", color="magenta", weight=3];
1049 -> 709[label="",style="dashed", color="red", weight=0];
1049[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];1049 -> 1185[label="",style="dashed", color="magenta", weight=3];
1049 -> 1186[label="",style="dashed", color="magenta", weight=3];
1050 -> 710[label="",style="dashed", color="red", weight=0];
1050[label="yu100 == yu1100",fontsize=16,color="magenta"];1050 -> 1187[label="",style="dashed", color="magenta", weight=3];
1050 -> 1188[label="",style="dashed", color="magenta", weight=3];
1051 -> 711[label="",style="dashed", color="red", weight=0];
1051[label="yu100 == yu1100\n  Integral a",fontsize=16,color="magenta"];1051 -> 1189[label="",style="dashed", color="magenta", weight=3];
1051 -> 1190[label="",style="dashed", color="magenta", weight=3];
1052 -> 712[label="",style="dashed", color="red", weight=0];
1052[label="yu100 == yu1100",fontsize=16,color="magenta"];1052 -> 1191[label="",style="dashed", color="magenta", weight=3];
1052 -> 1192[label="",style="dashed", color="magenta", weight=3];
1053 -> 713[label="",style="dashed", color="red", weight=0];
1053[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];1053 -> 1193[label="",style="dashed", color="magenta", weight=3];
1053 -> 1194[label="",style="dashed", color="magenta", weight=3];
1054 -> 714[label="",style="dashed", color="red", weight=0];
1054[label="yu100 == yu1100",fontsize=16,color="magenta"];1054 -> 1195[label="",style="dashed", color="magenta", weight=3];
1054 -> 1196[label="",style="dashed", color="magenta", weight=3];
1055 -> 715[label="",style="dashed", color="red", weight=0];
1055[label="yu100 == yu1100",fontsize=16,color="magenta"];1055 -> 1197[label="",style="dashed", color="magenta", weight=3];
1055 -> 1198[label="",style="dashed", color="magenta", weight=3];
1056 -> 716[label="",style="dashed", color="red", weight=0];
1056[label="yu100 == yu1100",fontsize=16,color="magenta"];1056 -> 1199[label="",style="dashed", color="magenta", weight=3];
1056 -> 1200[label="",style="dashed", color="magenta", weight=3];
1057 -> 717[label="",style="dashed", color="red", weight=0];
1057[label="yu100 == yu1100",fontsize=16,color="magenta"];1057 -> 1201[label="",style="dashed", color="magenta", weight=3];
1057 -> 1202[label="",style="dashed", color="magenta", weight=3];
1058 -> 718[label="",style="dashed", color="red", weight=0];
1058[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];1058 -> 1203[label="",style="dashed", color="magenta", weight=3];
1058 -> 1204[label="",style="dashed", color="magenta", weight=3];
1059 -> 719[label="",style="dashed", color="red", weight=0];
1059[label="yu100 == yu1100",fontsize=16,color="magenta"];1059 -> 1205[label="",style="dashed", color="magenta", weight=3];
1059 -> 1206[label="",style="dashed", color="magenta", weight=3];
1060 -> 720[label="",style="dashed", color="red", weight=0];
1060[label="yu100 == yu1100",fontsize=16,color="magenta"];1060 -> 1207[label="",style="dashed", color="magenta", weight=3];
1060 -> 1208[label="",style="dashed", color="magenta", weight=3];
1061 -> 721[label="",style="dashed", color="red", weight=0];
1061[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];1061 -> 1209[label="",style="dashed", color="magenta", weight=3];
1061 -> 1210[label="",style="dashed", color="magenta", weight=3];
1062 -> 708[label="",style="dashed", color="red", weight=0];
1062[label="yu101 == yu1101\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1062 -> 1211[label="",style="dashed", color="magenta", weight=3];
1062 -> 1212[label="",style="dashed", color="magenta", weight=3];
1063 -> 709[label="",style="dashed", color="red", weight=0];
1063[label="yu101 == yu1101\n  Eq a  Eq b",fontsize=16,color="magenta"];1063 -> 1213[label="",style="dashed", color="magenta", weight=3];
1063 -> 1214[label="",style="dashed", color="magenta", weight=3];
1064 -> 710[label="",style="dashed", color="red", weight=0];
1064[label="yu101 == yu1101",fontsize=16,color="magenta"];1064 -> 1215[label="",style="dashed", color="magenta", weight=3];
1064 -> 1216[label="",style="dashed", color="magenta", weight=3];
1065 -> 711[label="",style="dashed", color="red", weight=0];
1065[label="yu101 == yu1101\n  Integral a",fontsize=16,color="magenta"];1065 -> 1217[label="",style="dashed", color="magenta", weight=3];
1065 -> 1218[label="",style="dashed", color="magenta", weight=3];
1066 -> 712[label="",style="dashed", color="red", weight=0];
1066[label="yu101 == yu1101",fontsize=16,color="magenta"];1066 -> 1219[label="",style="dashed", color="magenta", weight=3];
1066 -> 1220[label="",style="dashed", color="magenta", weight=3];
1067 -> 713[label="",style="dashed", color="red", weight=0];
1067[label="yu101 == yu1101\n  Eq a",fontsize=16,color="magenta"];1067 -> 1221[label="",style="dashed", color="magenta", weight=3];
1067 -> 1222[label="",style="dashed", color="magenta", weight=3];
1068 -> 714[label="",style="dashed", color="red", weight=0];
1068[label="yu101 == yu1101",fontsize=16,color="magenta"];1068 -> 1223[label="",style="dashed", color="magenta", weight=3];
1068 -> 1224[label="",style="dashed", color="magenta", weight=3];
1069 -> 715[label="",style="dashed", color="red", weight=0];
1069[label="yu101 == yu1101",fontsize=16,color="magenta"];1069 -> 1225[label="",style="dashed", color="magenta", weight=3];
1069 -> 1226[label="",style="dashed", color="magenta", weight=3];
1070 -> 716[label="",style="dashed", color="red", weight=0];
1070[label="yu101 == yu1101",fontsize=16,color="magenta"];1070 -> 1227[label="",style="dashed", color="magenta", weight=3];
1070 -> 1228[label="",style="dashed", color="magenta", weight=3];
1071 -> 717[label="",style="dashed", color="red", weight=0];
1071[label="yu101 == yu1101",fontsize=16,color="magenta"];1071 -> 1229[label="",style="dashed", color="magenta", weight=3];
1071 -> 1230[label="",style="dashed", color="magenta", weight=3];
1072 -> 718[label="",style="dashed", color="red", weight=0];
1072[label="yu101 == yu1101\n  Eq a  Eq b",fontsize=16,color="magenta"];1072 -> 1231[label="",style="dashed", color="magenta", weight=3];
1072 -> 1232[label="",style="dashed", color="magenta", weight=3];
1073 -> 719[label="",style="dashed", color="red", weight=0];
1073[label="yu101 == yu1101",fontsize=16,color="magenta"];1073 -> 1233[label="",style="dashed", color="magenta", weight=3];
1073 -> 1234[label="",style="dashed", color="magenta", weight=3];
1074 -> 720[label="",style="dashed", color="red", weight=0];
1074[label="yu101 == yu1101",fontsize=16,color="magenta"];1074 -> 1235[label="",style="dashed", color="magenta", weight=3];
1074 -> 1236[label="",style="dashed", color="magenta", weight=3];
1075 -> 721[label="",style="dashed", color="red", weight=0];
1075[label="yu101 == yu1101\n  Eq a",fontsize=16,color="magenta"];1075 -> 1237[label="",style="dashed", color="magenta", weight=3];
1075 -> 1238[label="",style="dashed", color="magenta", weight=3];
1076 -> 708[label="",style="dashed", color="red", weight=0];
1076[label="yu100 == yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1076 -> 1239[label="",style="dashed", color="magenta", weight=3];
1076 -> 1240[label="",style="dashed", color="magenta", weight=3];
1077 -> 709[label="",style="dashed", color="red", weight=0];
1077[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];1077 -> 1241[label="",style="dashed", color="magenta", weight=3];
1077 -> 1242[label="",style="dashed", color="magenta", weight=3];
1078 -> 710[label="",style="dashed", color="red", weight=0];
1078[label="yu100 == yu1100",fontsize=16,color="magenta"];1078 -> 1243[label="",style="dashed", color="magenta", weight=3];
1078 -> 1244[label="",style="dashed", color="magenta", weight=3];
1079 -> 711[label="",style="dashed", color="red", weight=0];
1079[label="yu100 == yu1100\n  Integral a",fontsize=16,color="magenta"];1079 -> 1245[label="",style="dashed", color="magenta", weight=3];
1079 -> 1246[label="",style="dashed", color="magenta", weight=3];
1080 -> 712[label="",style="dashed", color="red", weight=0];
1080[label="yu100 == yu1100",fontsize=16,color="magenta"];1080 -> 1247[label="",style="dashed", color="magenta", weight=3];
1080 -> 1248[label="",style="dashed", color="magenta", weight=3];
1081 -> 713[label="",style="dashed", color="red", weight=0];
1081[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];1081 -> 1249[label="",style="dashed", color="magenta", weight=3];
1081 -> 1250[label="",style="dashed", color="magenta", weight=3];
1082 -> 714[label="",style="dashed", color="red", weight=0];
1082[label="yu100 == yu1100",fontsize=16,color="magenta"];1082 -> 1251[label="",style="dashed", color="magenta", weight=3];
1082 -> 1252[label="",style="dashed", color="magenta", weight=3];
1083 -> 715[label="",style="dashed", color="red", weight=0];
1083[label="yu100 == yu1100",fontsize=16,color="magenta"];1083 -> 1253[label="",style="dashed", color="magenta", weight=3];
1083 -> 1254[label="",style="dashed", color="magenta", weight=3];
1084 -> 716[label="",style="dashed", color="red", weight=0];
1084[label="yu100 == yu1100",fontsize=16,color="magenta"];1084 -> 1255[label="",style="dashed", color="magenta", weight=3];
1084 -> 1256[label="",style="dashed", color="magenta", weight=3];
1085 -> 717[label="",style="dashed", color="red", weight=0];
1085[label="yu100 == yu1100",fontsize=16,color="magenta"];1085 -> 1257[label="",style="dashed", color="magenta", weight=3];
1085 -> 1258[label="",style="dashed", color="magenta", weight=3];
1086 -> 718[label="",style="dashed", color="red", weight=0];
1086[label="yu100 == yu1100\n  Eq a  Eq b",fontsize=16,color="magenta"];1086 -> 1259[label="",style="dashed", color="magenta", weight=3];
1086 -> 1260[label="",style="dashed", color="magenta", weight=3];
1087 -> 719[label="",style="dashed", color="red", weight=0];
1087[label="yu100 == yu1100",fontsize=16,color="magenta"];1087 -> 1261[label="",style="dashed", color="magenta", weight=3];
1087 -> 1262[label="",style="dashed", color="magenta", weight=3];
1088 -> 720[label="",style="dashed", color="red", weight=0];
1088[label="yu100 == yu1100",fontsize=16,color="magenta"];1088 -> 1263[label="",style="dashed", color="magenta", weight=3];
1088 -> 1264[label="",style="dashed", color="magenta", weight=3];
1089 -> 721[label="",style="dashed", color="red", weight=0];
1089[label="yu100 == yu1100\n  Eq a",fontsize=16,color="magenta"];1089 -> 1265[label="",style="dashed", color="magenta", weight=3];
1089 -> 1266[label="",style="dashed", color="magenta", weight=3];
1090[label="yu101\n  Eq a",fontsize=16,color="green",shape="box"];1091[label="yu1101\n  Eq a",fontsize=16,color="green",shape="box"];1092[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (enforceWHNF (WHNF (Pos yu44 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yu44 + fromInt (Pos (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];1092 -> 1267[label="",style="solid", color="black", weight=3];
1093[label="yu42\n  Eq a",fontsize=16,color="green",shape="box"];1094[label="yu100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1095[label="yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1096[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1097[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1098[label="yu100",fontsize=16,color="green",shape="box"];1099[label="yu1100",fontsize=16,color="green",shape="box"];1100[label="yu100\n  Integral a",fontsize=16,color="green",shape="box"];1101[label="yu1100\n  Integral a",fontsize=16,color="green",shape="box"];1102[label="yu100",fontsize=16,color="green",shape="box"];1103[label="yu1100",fontsize=16,color="green",shape="box"];1104[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1105[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1106[label="yu100",fontsize=16,color="green",shape="box"];1107[label="yu1100",fontsize=16,color="green",shape="box"];1108[label="yu100",fontsize=16,color="green",shape="box"];1109[label="yu1100",fontsize=16,color="green",shape="box"];1110[label="yu100",fontsize=16,color="green",shape="box"];1111[label="yu1100",fontsize=16,color="green",shape="box"];1112[label="yu100",fontsize=16,color="green",shape="box"];1113[label="yu1100",fontsize=16,color="green",shape="box"];1114[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1115[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1116[label="yu100",fontsize=16,color="green",shape="box"];1117[label="yu1100",fontsize=16,color="green",shape="box"];1118[label="yu100",fontsize=16,color="green",shape="box"];1119[label="yu1100",fontsize=16,color="green",shape="box"];1120[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1121[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1122 -> 708[label="",style="dashed", color="red", weight=0];
1122[label="yu101 == yu1101\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1122 -> 1268[label="",style="dashed", color="magenta", weight=3];
1122 -> 1269[label="",style="dashed", color="magenta", weight=3];
1123 -> 709[label="",style="dashed", color="red", weight=0];
1123[label="yu101 == yu1101\n  Eq a  Eq b",fontsize=16,color="magenta"];1123 -> 1270[label="",style="dashed", color="magenta", weight=3];
1123 -> 1271[label="",style="dashed", color="magenta", weight=3];
1124 -> 710[label="",style="dashed", color="red", weight=0];
1124[label="yu101 == yu1101",fontsize=16,color="magenta"];1124 -> 1272[label="",style="dashed", color="magenta", weight=3];
1124 -> 1273[label="",style="dashed", color="magenta", weight=3];
1125 -> 711[label="",style="dashed", color="red", weight=0];
1125[label="yu101 == yu1101\n  Integral a",fontsize=16,color="magenta"];1125 -> 1274[label="",style="dashed", color="magenta", weight=3];
1125 -> 1275[label="",style="dashed", color="magenta", weight=3];
1126 -> 712[label="",style="dashed", color="red", weight=0];
1126[label="yu101 == yu1101",fontsize=16,color="magenta"];1126 -> 1276[label="",style="dashed", color="magenta", weight=3];
1126 -> 1277[label="",style="dashed", color="magenta", weight=3];
1127 -> 713[label="",style="dashed", color="red", weight=0];
1127[label="yu101 == yu1101\n  Eq a",fontsize=16,color="magenta"];1127 -> 1278[label="",style="dashed", color="magenta", weight=3];
1127 -> 1279[label="",style="dashed", color="magenta", weight=3];
1128 -> 714[label="",style="dashed", color="red", weight=0];
1128[label="yu101 == yu1101",fontsize=16,color="magenta"];1128 -> 1280[label="",style="dashed", color="magenta", weight=3];
1128 -> 1281[label="",style="dashed", color="magenta", weight=3];
1129 -> 715[label="",style="dashed", color="red", weight=0];
1129[label="yu101 == yu1101",fontsize=16,color="magenta"];1129 -> 1282[label="",style="dashed", color="magenta", weight=3];
1129 -> 1283[label="",style="dashed", color="magenta", weight=3];
1130 -> 716[label="",style="dashed", color="red", weight=0];
1130[label="yu101 == yu1101",fontsize=16,color="magenta"];1130 -> 1284[label="",style="dashed", color="magenta", weight=3];
1130 -> 1285[label="",style="dashed", color="magenta", weight=3];
1131 -> 717[label="",style="dashed", color="red", weight=0];
1131[label="yu101 == yu1101",fontsize=16,color="magenta"];1131 -> 1286[label="",style="dashed", color="magenta", weight=3];
1131 -> 1287[label="",style="dashed", color="magenta", weight=3];
1132 -> 718[label="",style="dashed", color="red", weight=0];
1132[label="yu101 == yu1101\n  Eq a  Eq b",fontsize=16,color="magenta"];1132 -> 1288[label="",style="dashed", color="magenta", weight=3];
1132 -> 1289[label="",style="dashed", color="magenta", weight=3];
1133 -> 719[label="",style="dashed", color="red", weight=0];
1133[label="yu101 == yu1101",fontsize=16,color="magenta"];1133 -> 1290[label="",style="dashed", color="magenta", weight=3];
1133 -> 1291[label="",style="dashed", color="magenta", weight=3];
1134 -> 720[label="",style="dashed", color="red", weight=0];
1134[label="yu101 == yu1101",fontsize=16,color="magenta"];1134 -> 1292[label="",style="dashed", color="magenta", weight=3];
1134 -> 1293[label="",style="dashed", color="magenta", weight=3];
1135 -> 721[label="",style="dashed", color="red", weight=0];
1135[label="yu101 == yu1101\n  Eq a",fontsize=16,color="magenta"];1135 -> 1294[label="",style="dashed", color="magenta", weight=3];
1135 -> 1295[label="",style="dashed", color="magenta", weight=3];
1136 -> 708[label="",style="dashed", color="red", weight=0];
1136[label="yu102 == yu1102\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1136 -> 1296[label="",style="dashed", color="magenta", weight=3];
1136 -> 1297[label="",style="dashed", color="magenta", weight=3];
1137 -> 709[label="",style="dashed", color="red", weight=0];
1137[label="yu102 == yu1102\n  Eq a  Eq b",fontsize=16,color="magenta"];1137 -> 1298[label="",style="dashed", color="magenta", weight=3];
1137 -> 1299[label="",style="dashed", color="magenta", weight=3];
1138 -> 710[label="",style="dashed", color="red", weight=0];
1138[label="yu102 == yu1102",fontsize=16,color="magenta"];1138 -> 1300[label="",style="dashed", color="magenta", weight=3];
1138 -> 1301[label="",style="dashed", color="magenta", weight=3];
1139 -> 711[label="",style="dashed", color="red", weight=0];
1139[label="yu102 == yu1102\n  Integral a",fontsize=16,color="magenta"];1139 -> 1302[label="",style="dashed", color="magenta", weight=3];
1139 -> 1303[label="",style="dashed", color="magenta", weight=3];
1140 -> 712[label="",style="dashed", color="red", weight=0];
1140[label="yu102 == yu1102",fontsize=16,color="magenta"];1140 -> 1304[label="",style="dashed", color="magenta", weight=3];
1140 -> 1305[label="",style="dashed", color="magenta", weight=3];
1141 -> 713[label="",style="dashed", color="red", weight=0];
1141[label="yu102 == yu1102\n  Eq a",fontsize=16,color="magenta"];1141 -> 1306[label="",style="dashed", color="magenta", weight=3];
1141 -> 1307[label="",style="dashed", color="magenta", weight=3];
1142 -> 714[label="",style="dashed", color="red", weight=0];
1142[label="yu102 == yu1102",fontsize=16,color="magenta"];1142 -> 1308[label="",style="dashed", color="magenta", weight=3];
1142 -> 1309[label="",style="dashed", color="magenta", weight=3];
1143 -> 715[label="",style="dashed", color="red", weight=0];
1143[label="yu102 == yu1102",fontsize=16,color="magenta"];1143 -> 1310[label="",style="dashed", color="magenta", weight=3];
1143 -> 1311[label="",style="dashed", color="magenta", weight=3];
1144 -> 716[label="",style="dashed", color="red", weight=0];
1144[label="yu102 == yu1102",fontsize=16,color="magenta"];1144 -> 1312[label="",style="dashed", color="magenta", weight=3];
1144 -> 1313[label="",style="dashed", color="magenta", weight=3];
1145 -> 717[label="",style="dashed", color="red", weight=0];
1145[label="yu102 == yu1102",fontsize=16,color="magenta"];1145 -> 1314[label="",style="dashed", color="magenta", weight=3];
1145 -> 1315[label="",style="dashed", color="magenta", weight=3];
1146 -> 718[label="",style="dashed", color="red", weight=0];
1146[label="yu102 == yu1102\n  Eq a  Eq b",fontsize=16,color="magenta"];1146 -> 1316[label="",style="dashed", color="magenta", weight=3];
1146 -> 1317[label="",style="dashed", color="magenta", weight=3];
1147 -> 719[label="",style="dashed", color="red", weight=0];
1147[label="yu102 == yu1102",fontsize=16,color="magenta"];1147 -> 1318[label="",style="dashed", color="magenta", weight=3];
1147 -> 1319[label="",style="dashed", color="magenta", weight=3];
1148 -> 720[label="",style="dashed", color="red", weight=0];
1148[label="yu102 == yu1102",fontsize=16,color="magenta"];1148 -> 1320[label="",style="dashed", color="magenta", weight=3];
1148 -> 1321[label="",style="dashed", color="magenta", weight=3];
1149 -> 721[label="",style="dashed", color="red", weight=0];
1149[label="yu102 == yu1102\n  Eq a",fontsize=16,color="magenta"];1149 -> 1322[label="",style="dashed", color="magenta", weight=3];
1149 -> 1323[label="",style="dashed", color="magenta", weight=3];
1150[label="False",fontsize=16,color="green",shape="box"];1151[label="yu63",fontsize=16,color="green",shape="box"];1152[label="primEqNat (Succ yu1000) (Succ yu11000)",fontsize=16,color="black",shape="box"];1152 -> 1324[label="",style="solid", color="black", weight=3];
1153[label="primEqNat (Succ yu1000) Zero",fontsize=16,color="black",shape="box"];1153 -> 1325[label="",style="solid", color="black", weight=3];
1154[label="primEqNat Zero (Succ yu11000)",fontsize=16,color="black",shape="box"];1154 -> 1326[label="",style="solid", color="black", weight=3];
1155[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1155 -> 1327[label="",style="solid", color="black", weight=3];
1156[label="yu100",fontsize=16,color="green",shape="box"];1157[label="yu1100",fontsize=16,color="green",shape="box"];1158[label="yu100",fontsize=16,color="green",shape="box"];1159[label="yu1100",fontsize=16,color="green",shape="box"];1160[label="yu101",fontsize=16,color="green",shape="box"];1161[label="yu1101",fontsize=16,color="green",shape="box"];1162[label="yu101",fontsize=16,color="green",shape="box"];1163[label="yu1101",fontsize=16,color="green",shape="box"];1164[label="primMulInt yu100 yu1100",fontsize=16,color="burlywood",shape="box"];1782[label="yu100/Pos yu1000",fontsize=10,color="white",style="solid",shape="box"];1164 -> 1782[label="",style="solid", color="burlywood", weight=9];
1782 -> 1328[label="",style="solid", color="burlywood", weight=3];
1783[label="yu100/Neg yu1000",fontsize=10,color="white",style="solid",shape="box"];1164 -> 1783[label="",style="solid", color="burlywood", weight=9];
1783 -> 1329[label="",style="solid", color="burlywood", weight=3];
1165[label="yu101",fontsize=16,color="green",shape="box"];1166[label="yu1101",fontsize=16,color="green",shape="box"];1167[label="yu100",fontsize=16,color="green",shape="box"];1168[label="yu1100",fontsize=16,color="green",shape="box"];1169[label="yu101",fontsize=16,color="green",shape="box"];1170[label="yu1101",fontsize=16,color="green",shape="box"];1171 -> 857[label="",style="dashed", color="red", weight=0];
1171[label="primEqNat yu1000 yu11000",fontsize=16,color="magenta"];1171 -> 1330[label="",style="dashed", color="magenta", weight=3];
1171 -> 1331[label="",style="dashed", color="magenta", weight=3];
1172[label="False",fontsize=16,color="green",shape="box"];1173[label="False",fontsize=16,color="green",shape="box"];1174[label="True",fontsize=16,color="green",shape="box"];1175[label="False",fontsize=16,color="green",shape="box"];1176[label="True",fontsize=16,color="green",shape="box"];1177 -> 857[label="",style="dashed", color="red", weight=0];
1177[label="primEqNat yu1000 yu11000",fontsize=16,color="magenta"];1177 -> 1332[label="",style="dashed", color="magenta", weight=3];
1177 -> 1333[label="",style="dashed", color="magenta", weight=3];
1178[label="False",fontsize=16,color="green",shape="box"];1179[label="False",fontsize=16,color="green",shape="box"];1180[label="True",fontsize=16,color="green",shape="box"];1181[label="False",fontsize=16,color="green",shape="box"];1182[label="True",fontsize=16,color="green",shape="box"];1183[label="yu100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1184[label="yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1185[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1186[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1187[label="yu100",fontsize=16,color="green",shape="box"];1188[label="yu1100",fontsize=16,color="green",shape="box"];1189[label="yu100\n  Integral a",fontsize=16,color="green",shape="box"];1190[label="yu1100\n  Integral a",fontsize=16,color="green",shape="box"];1191[label="yu100",fontsize=16,color="green",shape="box"];1192[label="yu1100",fontsize=16,color="green",shape="box"];1193[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1194[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1195[label="yu100",fontsize=16,color="green",shape="box"];1196[label="yu1100",fontsize=16,color="green",shape="box"];1197[label="yu100",fontsize=16,color="green",shape="box"];1198[label="yu1100",fontsize=16,color="green",shape="box"];1199[label="yu100",fontsize=16,color="green",shape="box"];1200[label="yu1100",fontsize=16,color="green",shape="box"];1201[label="yu100",fontsize=16,color="green",shape="box"];1202[label="yu1100",fontsize=16,color="green",shape="box"];1203[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1204[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1205[label="yu100",fontsize=16,color="green",shape="box"];1206[label="yu1100",fontsize=16,color="green",shape="box"];1207[label="yu100",fontsize=16,color="green",shape="box"];1208[label="yu1100",fontsize=16,color="green",shape="box"];1209[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1210[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1211[label="yu101\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1212[label="yu1101\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1213[label="yu101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1214[label="yu1101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1215[label="yu101",fontsize=16,color="green",shape="box"];1216[label="yu1101",fontsize=16,color="green",shape="box"];1217[label="yu101\n  Integral a",fontsize=16,color="green",shape="box"];1218[label="yu1101\n  Integral a",fontsize=16,color="green",shape="box"];1219[label="yu101",fontsize=16,color="green",shape="box"];1220[label="yu1101",fontsize=16,color="green",shape="box"];1221[label="yu101\n  Eq a",fontsize=16,color="green",shape="box"];1222[label="yu1101\n  Eq a",fontsize=16,color="green",shape="box"];1223[label="yu101",fontsize=16,color="green",shape="box"];1224[label="yu1101",fontsize=16,color="green",shape="box"];1225[label="yu101",fontsize=16,color="green",shape="box"];1226[label="yu1101",fontsize=16,color="green",shape="box"];1227[label="yu101",fontsize=16,color="green",shape="box"];1228[label="yu1101",fontsize=16,color="green",shape="box"];1229[label="yu101",fontsize=16,color="green",shape="box"];1230[label="yu1101",fontsize=16,color="green",shape="box"];1231[label="yu101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1232[label="yu1101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1233[label="yu101",fontsize=16,color="green",shape="box"];1234[label="yu1101",fontsize=16,color="green",shape="box"];1235[label="yu101",fontsize=16,color="green",shape="box"];1236[label="yu1101",fontsize=16,color="green",shape="box"];1237[label="yu101\n  Eq a",fontsize=16,color="green",shape="box"];1238[label="yu1101\n  Eq a",fontsize=16,color="green",shape="box"];1239[label="yu100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1240[label="yu1100\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1241[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1242[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1243[label="yu100",fontsize=16,color="green",shape="box"];1244[label="yu1100",fontsize=16,color="green",shape="box"];1245[label="yu100\n  Integral a",fontsize=16,color="green",shape="box"];1246[label="yu1100\n  Integral a",fontsize=16,color="green",shape="box"];1247[label="yu100",fontsize=16,color="green",shape="box"];1248[label="yu1100",fontsize=16,color="green",shape="box"];1249[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1250[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1251[label="yu100",fontsize=16,color="green",shape="box"];1252[label="yu1100",fontsize=16,color="green",shape="box"];1253[label="yu100",fontsize=16,color="green",shape="box"];1254[label="yu1100",fontsize=16,color="green",shape="box"];1255[label="yu100",fontsize=16,color="green",shape="box"];1256[label="yu1100",fontsize=16,color="green",shape="box"];1257[label="yu100",fontsize=16,color="green",shape="box"];1258[label="yu1100",fontsize=16,color="green",shape="box"];1259[label="yu100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1260[label="yu1100\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1261[label="yu100",fontsize=16,color="green",shape="box"];1262[label="yu1100",fontsize=16,color="green",shape="box"];1263[label="yu100",fontsize=16,color="green",shape="box"];1264[label="yu1100",fontsize=16,color="green",shape="box"];1265[label="yu100\n  Eq a",fontsize=16,color="green",shape="box"];1266[label="yu1100\n  Eq a",fontsize=16,color="green",shape="box"];1267[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (enforceWHNF (WHNF (primPlusInt (Pos yu44) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yu44) (fromInt (Pos (Succ Zero))))))))\n  Eq a",fontsize=16,color="black",shape="box"];1267 -> 1334[label="",style="solid", color="black", weight=3];
1268[label="yu101\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1269[label="yu1101\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1270[label="yu101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1271[label="yu1101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1272[label="yu101",fontsize=16,color="green",shape="box"];1273[label="yu1101",fontsize=16,color="green",shape="box"];1274[label="yu101\n  Integral a",fontsize=16,color="green",shape="box"];1275[label="yu1101\n  Integral a",fontsize=16,color="green",shape="box"];1276[label="yu101",fontsize=16,color="green",shape="box"];1277[label="yu1101",fontsize=16,color="green",shape="box"];1278[label="yu101\n  Eq a",fontsize=16,color="green",shape="box"];1279[label="yu1101\n  Eq a",fontsize=16,color="green",shape="box"];1280[label="yu101",fontsize=16,color="green",shape="box"];1281[label="yu1101",fontsize=16,color="green",shape="box"];1282[label="yu101",fontsize=16,color="green",shape="box"];1283[label="yu1101",fontsize=16,color="green",shape="box"];1284[label="yu101",fontsize=16,color="green",shape="box"];1285[label="yu1101",fontsize=16,color="green",shape="box"];1286[label="yu101",fontsize=16,color="green",shape="box"];1287[label="yu1101",fontsize=16,color="green",shape="box"];1288[label="yu101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1289[label="yu1101\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1290[label="yu101",fontsize=16,color="green",shape="box"];1291[label="yu1101",fontsize=16,color="green",shape="box"];1292[label="yu101",fontsize=16,color="green",shape="box"];1293[label="yu1101",fontsize=16,color="green",shape="box"];1294[label="yu101\n  Eq a",fontsize=16,color="green",shape="box"];1295[label="yu1101\n  Eq a",fontsize=16,color="green",shape="box"];1296[label="yu102\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1297[label="yu1102\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1298[label="yu102\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1299[label="yu1102\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1300[label="yu102",fontsize=16,color="green",shape="box"];1301[label="yu1102",fontsize=16,color="green",shape="box"];1302[label="yu102\n  Integral a",fontsize=16,color="green",shape="box"];1303[label="yu1102\n  Integral a",fontsize=16,color="green",shape="box"];1304[label="yu102",fontsize=16,color="green",shape="box"];1305[label="yu1102",fontsize=16,color="green",shape="box"];1306[label="yu102\n  Eq a",fontsize=16,color="green",shape="box"];1307[label="yu1102\n  Eq a",fontsize=16,color="green",shape="box"];1308[label="yu102",fontsize=16,color="green",shape="box"];1309[label="yu1102",fontsize=16,color="green",shape="box"];1310[label="yu102",fontsize=16,color="green",shape="box"];1311[label="yu1102",fontsize=16,color="green",shape="box"];1312[label="yu102",fontsize=16,color="green",shape="box"];1313[label="yu1102",fontsize=16,color="green",shape="box"];1314[label="yu102",fontsize=16,color="green",shape="box"];1315[label="yu1102",fontsize=16,color="green",shape="box"];1316[label="yu102\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1317[label="yu1102\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1318[label="yu102",fontsize=16,color="green",shape="box"];1319[label="yu1102",fontsize=16,color="green",shape="box"];1320[label="yu102",fontsize=16,color="green",shape="box"];1321[label="yu1102",fontsize=16,color="green",shape="box"];1322[label="yu102\n  Eq a",fontsize=16,color="green",shape="box"];1323[label="yu1102\n  Eq a",fontsize=16,color="green",shape="box"];1324 -> 857[label="",style="dashed", color="red", weight=0];
1324[label="primEqNat yu1000 yu11000",fontsize=16,color="magenta"];1324 -> 1335[label="",style="dashed", color="magenta", weight=3];
1324 -> 1336[label="",style="dashed", color="magenta", weight=3];
1325[label="False",fontsize=16,color="green",shape="box"];1326[label="False",fontsize=16,color="green",shape="box"];1327[label="True",fontsize=16,color="green",shape="box"];1328[label="primMulInt (Pos yu1000) yu1100",fontsize=16,color="burlywood",shape="box"];1787[label="yu1100/Pos yu11000",fontsize=10,color="white",style="solid",shape="box"];1328 -> 1787[label="",style="solid", color="burlywood", weight=9];
1787 -> 1337[label="",style="solid", color="burlywood", weight=3];
1788[label="yu1100/Neg yu11000",fontsize=10,color="white",style="solid",shape="box"];1328 -> 1788[label="",style="solid", color="burlywood", weight=9];
1788 -> 1338[label="",style="solid", color="burlywood", weight=3];
1329[label="primMulInt (Neg yu1000) yu1100",fontsize=16,color="burlywood",shape="box"];1789[label="yu1100/Pos yu11000",fontsize=10,color="white",style="solid",shape="box"];1329 -> 1789[label="",style="solid", color="burlywood", weight=9];
1789 -> 1339[label="",style="solid", color="burlywood", weight=3];
1790[label="yu1100/Neg yu11000",fontsize=10,color="white",style="solid",shape="box"];1329 -> 1790[label="",style="solid", color="burlywood", weight=9];
1790 -> 1340[label="",style="solid", color="burlywood", weight=3];
1330[label="yu1000",fontsize=16,color="green",shape="box"];1331[label="yu11000",fontsize=16,color="green",shape="box"];1332[label="yu1000",fontsize=16,color="green",shape="box"];1333[label="yu11000",fontsize=16,color="green",shape="box"];1334[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (enforceWHNF (WHNF (primPlusInt (Pos yu44) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yu44) (Pos (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];1334 -> 1341[label="",style="solid", color="black", weight=3];
1335[label="yu1000",fontsize=16,color="green",shape="box"];1336[label="yu11000",fontsize=16,color="green",shape="box"];1337[label="primMulInt (Pos yu1000) (Pos yu11000)",fontsize=16,color="black",shape="box"];1337 -> 1342[label="",style="solid", color="black", weight=3];
1338[label="primMulInt (Pos yu1000) (Neg yu11000)",fontsize=16,color="black",shape="box"];1338 -> 1343[label="",style="solid", color="black", weight=3];
1339[label="primMulInt (Neg yu1000) (Pos yu11000)",fontsize=16,color="black",shape="box"];1339 -> 1344[label="",style="solid", color="black", weight=3];
1340[label="primMulInt (Neg yu1000) (Neg yu11000)",fontsize=16,color="black",shape="box"];1340 -> 1345[label="",style="solid", color="black", weight=3];
1341[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (enforceWHNF (WHNF (Pos (primPlusNat yu44 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yu44 (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];1341 -> 1346[label="",style="solid", color="black", weight=3];
1342[label="Pos (primMulNat yu1000 yu11000)",fontsize=16,color="green",shape="box"];1342 -> 1347[label="",style="dashed", color="green", weight=3];
1343[label="Neg (primMulNat yu1000 yu11000)",fontsize=16,color="green",shape="box"];1343 -> 1348[label="",style="dashed", color="green", weight=3];
1344[label="Neg (primMulNat yu1000 yu11000)",fontsize=16,color="green",shape="box"];1344 -> 1349[label="",style="dashed", color="green", weight=3];
1345[label="Pos (primMulNat yu1000 yu11000)",fontsize=16,color="green",shape="box"];1345 -> 1350[label="",style="dashed", color="green", weight=3];
1346[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (numericEnumFrom (Pos (primPlusNat yu44 (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];1346 -> 1351[label="",style="solid", color="black", weight=3];
1347[label="primMulNat yu1000 yu11000",fontsize=16,color="burlywood",shape="triangle"];1791[label="yu1000/Succ yu10000",fontsize=10,color="white",style="solid",shape="box"];1347 -> 1791[label="",style="solid", color="burlywood", weight=9];
1791 -> 1352[label="",style="solid", color="burlywood", weight=3];
1792[label="yu1000/Zero",fontsize=10,color="white",style="solid",shape="box"];1347 -> 1792[label="",style="solid", color="burlywood", weight=9];
1792 -> 1353[label="",style="solid", color="burlywood", weight=3];
1348 -> 1347[label="",style="dashed", color="red", weight=0];
1348[label="primMulNat yu1000 yu11000",fontsize=16,color="magenta"];1348 -> 1354[label="",style="dashed", color="magenta", weight=3];
1349 -> 1347[label="",style="dashed", color="red", weight=0];
1349[label="primMulNat yu1000 yu11000",fontsize=16,color="magenta"];1349 -> 1355[label="",style="dashed", color="magenta", weight=3];
1350 -> 1347[label="",style="dashed", color="red", weight=0];
1350[label="primMulNat yu1000 yu11000",fontsize=16,color="magenta"];1350 -> 1356[label="",style="dashed", color="magenta", weight=3];
1350 -> 1357[label="",style="dashed", color="magenta", weight=3];
1351[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 (yu430 : yu431) (Pos (primPlusNat yu44 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yu44 (Succ Zero)) + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];1351 -> 1358[label="",style="solid", color="black", weight=3];
1352[label="primMulNat (Succ yu10000) yu11000",fontsize=16,color="burlywood",shape="box"];1796[label="yu11000/Succ yu110000",fontsize=10,color="white",style="solid",shape="box"];1352 -> 1796[label="",style="solid", color="burlywood", weight=9];
1796 -> 1359[label="",style="solid", color="burlywood", weight=3];
1797[label="yu11000/Zero",fontsize=10,color="white",style="solid",shape="box"];1352 -> 1797[label="",style="solid", color="burlywood", weight=9];
1797 -> 1360[label="",style="solid", color="burlywood", weight=3];
1353[label="primMulNat Zero yu11000",fontsize=16,color="burlywood",shape="box"];1798[label="yu11000/Succ yu110000",fontsize=10,color="white",style="solid",shape="box"];1353 -> 1798[label="",style="solid", color="burlywood", weight=9];
1798 -> 1361[label="",style="solid", color="burlywood", weight=3];
1799[label="yu11000/Zero",fontsize=10,color="white",style="solid",shape="box"];1353 -> 1799[label="",style="solid", color="burlywood", weight=9];
1799 -> 1362[label="",style="solid", color="burlywood", weight=3];
1354[label="yu11000",fontsize=16,color="green",shape="box"];1355[label="yu1000",fontsize=16,color="green",shape="box"];1356[label="yu1000",fontsize=16,color="green",shape="box"];1357[label="yu11000",fontsize=16,color="green",shape="box"];1358[label="foldr (++) [] (map (findIndices0 (yu42 ==)) (zip0 yu430 (Pos (primPlusNat yu44 (Succ Zero))) : zipWith zip0 yu431 (numericEnumFrom $! Pos (primPlusNat yu44 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1358 -> 1363[label="",style="solid", color="black", weight=3];
1359[label="primMulNat (Succ yu10000) (Succ yu110000)",fontsize=16,color="black",shape="box"];1359 -> 1364[label="",style="solid", color="black", weight=3];
1360[label="primMulNat (Succ yu10000) Zero",fontsize=16,color="black",shape="box"];1360 -> 1365[label="",style="solid", color="black", weight=3];
1361[label="primMulNat Zero (Succ yu110000)",fontsize=16,color="black",shape="box"];1361 -> 1366[label="",style="solid", color="black", weight=3];
1362[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];1362 -> 1367[label="",style="solid", color="black", weight=3];
1363[label="foldr (++) [] (findIndices0 (yu42 ==) (zip0 yu430 (Pos (primPlusNat yu44 (Succ Zero)))) : map (findIndices0 (yu42 ==)) (zipWith zip0 yu431 (numericEnumFrom $! Pos (primPlusNat yu44 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1363 -> 1368[label="",style="solid", color="black", weight=3];
1364 -> 1369[label="",style="dashed", color="red", weight=0];
1364[label="primPlusNat (primMulNat yu10000 (Succ yu110000)) (Succ yu110000)",fontsize=16,color="magenta"];1364 -> 1370[label="",style="dashed", color="magenta", weight=3];
1365[label="Zero",fontsize=16,color="green",shape="box"];1366[label="Zero",fontsize=16,color="green",shape="box"];1367[label="Zero",fontsize=16,color="green",shape="box"];1368 -> 691[label="",style="dashed", color="red", weight=0];
1368[label="(++) findIndices0 (yu42 ==) (zip0 yu430 (Pos (primPlusNat yu44 (Succ Zero)))) foldr (++) [] (map (findIndices0 (yu42 ==)) (zipWith zip0 yu431 (numericEnumFrom $! Pos (primPlusNat yu44 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];1368 -> 1371[label="",style="dashed", color="magenta", weight=3];
1368 -> 1372[label="",style="dashed", color="magenta", weight=3];
1368 -> 1373[label="",style="dashed", color="magenta", weight=3];
1368 -> 1374[label="",style="dashed", color="magenta", weight=3];
1368 -> 1375[label="",style="dashed", color="magenta", weight=3];
1370 -> 1347[label="",style="dashed", color="red", weight=0];
1370[label="primMulNat yu10000 (Succ yu110000)",fontsize=16,color="magenta"];1370 -> 1376[label="",style="dashed", color="magenta", weight=3];
1370 -> 1377[label="",style="dashed", color="magenta", weight=3];
1369[label="primPlusNat yu64 (Succ yu110000)",fontsize=16,color="burlywood",shape="triangle"];1803[label="yu64/Succ yu640",fontsize=10,color="white",style="solid",shape="box"];1369 -> 1803[label="",style="solid", color="burlywood", weight=9];
1803 -> 1378[label="",style="solid", color="burlywood", weight=3];
1804[label="yu64/Zero",fontsize=10,color="white",style="solid",shape="box"];1369 -> 1804[label="",style="solid", color="burlywood", weight=9];
1804 -> 1379[label="",style="solid", color="burlywood", weight=3];
1371 -> 1369[label="",style="dashed", color="red", weight=0];
1371[label="primPlusNat yu44 (Succ Zero)",fontsize=16,color="magenta"];1371 -> 1380[label="",style="dashed", color="magenta", weight=3];
1371 -> 1381[label="",style="dashed", color="magenta", weight=3];
1372[label="yu42\n  Eq a",fontsize=16,color="green",shape="box"];1373[label="yu431\n  Eq a",fontsize=16,color="green",shape="box"];1374 -> 1369[label="",style="dashed", color="red", weight=0];
1374[label="primPlusNat yu44 (Succ Zero)",fontsize=16,color="magenta"];1374 -> 1382[label="",style="dashed", color="magenta", weight=3];
1374 -> 1383[label="",style="dashed", color="magenta", weight=3];
1375[label="yu430\n  Eq a",fontsize=16,color="green",shape="box"];1376[label="yu10000",fontsize=16,color="green",shape="box"];1377[label="Succ yu110000",fontsize=16,color="green",shape="box"];1378[label="primPlusNat (Succ yu640) (Succ yu110000)",fontsize=16,color="black",shape="box"];1378 -> 1384[label="",style="solid", color="black", weight=3];
1379[label="primPlusNat Zero (Succ yu110000)",fontsize=16,color="black",shape="box"];1379 -> 1385[label="",style="solid", color="black", weight=3];
1380[label="Zero",fontsize=16,color="green",shape="box"];1381[label="yu44",fontsize=16,color="green",shape="box"];1382[label="Zero",fontsize=16,color="green",shape="box"];1383[label="yu44",fontsize=16,color="green",shape="box"];1384[label="Succ (Succ (primPlusNat yu640 yu110000))",fontsize=16,color="green",shape="box"];1384 -> 1386[label="",style="dashed", color="green", weight=3];
1385[label="Succ yu110000",fontsize=16,color="green",shape="box"];1386[label="primPlusNat yu640 yu110000",fontsize=16,color="burlywood",shape="triangle"];1807[label="yu640/Succ yu6400",fontsize=10,color="white",style="solid",shape="box"];1386 -> 1807[label="",style="solid", color="burlywood", weight=9];
1807 -> 1387[label="",style="solid", color="burlywood", weight=3];
1808[label="yu640/Zero",fontsize=10,color="white",style="solid",shape="box"];1386 -> 1808[label="",style="solid", color="burlywood", weight=9];
1808 -> 1388[label="",style="solid", color="burlywood", weight=3];
1387[label="primPlusNat (Succ yu6400) yu110000",fontsize=16,color="burlywood",shape="box"];1809[label="yu110000/Succ yu1100000",fontsize=10,color="white",style="solid",shape="box"];1387 -> 1809[label="",style="solid", color="burlywood", weight=9];
1809 -> 1389[label="",style="solid", color="burlywood", weight=3];
1810[label="yu110000/Zero",fontsize=10,color="white",style="solid",shape="box"];1387 -> 1810[label="",style="solid", color="burlywood", weight=9];
1810 -> 1390[label="",style="solid", color="burlywood", weight=3];
1388[label="primPlusNat Zero yu110000",fontsize=16,color="burlywood",shape="box"];1811[label="yu110000/Succ yu1100000",fontsize=10,color="white",style="solid",shape="box"];1388 -> 1811[label="",style="solid", color="burlywood", weight=9];
1811 -> 1391[label="",style="solid", color="burlywood", weight=3];
1812[label="yu110000/Zero",fontsize=10,color="white",style="solid",shape="box"];1388 -> 1812[label="",style="solid", color="burlywood", weight=9];
1812 -> 1392[label="",style="solid", color="burlywood", weight=3];
1389[label="primPlusNat (Succ yu6400) (Succ yu1100000)",fontsize=16,color="black",shape="box"];1389 -> 1393[label="",style="solid", color="black", weight=3];
1390[label="primPlusNat (Succ yu6400) Zero",fontsize=16,color="black",shape="box"];1390 -> 1394[label="",style="solid", color="black", weight=3];
1391[label="primPlusNat Zero (Succ yu1100000)",fontsize=16,color="black",shape="box"];1391 -> 1395[label="",style="solid", color="black", weight=3];
1392[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1392 -> 1396[label="",style="solid", color="black", weight=3];
1393[label="Succ (Succ (primPlusNat yu6400 yu1100000))",fontsize=16,color="green",shape="box"];1393 -> 1397[label="",style="dashed", color="green", weight=3];
1394[label="Succ yu6400",fontsize=16,color="green",shape="box"];1395[label="Succ yu1100000",fontsize=16,color="green",shape="box"];1396[label="Zero",fontsize=16,color="green",shape="box"];1397 -> 1386[label="",style="dashed", color="red", weight=0];
1397[label="primPlusNat yu6400 yu1100000",fontsize=16,color="magenta"];1397 -> 1398[label="",style="dashed", color="magenta", weight=3];
1397 -> 1399[label="",style="dashed", color="magenta", weight=3];
1398[label="yu6400",fontsize=16,color="green",shape="box"];1399[label="yu1100000",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(yu1000), Succ(yu11000)) → new_primEqNat(yu1000, yu11000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primEqNat(Succ(yu1000), Succ(yu11000)) → new_primEqNat(yu1000, yu11000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(yu6400), Succ(yu1100000)) → new_primPlusNat(yu6400, yu1100000)

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(yu6400), Succ(yu1100000)) → new_primPlusNat(yu6400, yu1100000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(yu10000), Succ(yu110000)) → new_primMulNat(yu10000, Succ(yu110000))

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(yu10000), Succ(yu110000)) → new_primMulNat(yu10000, Succ(yu110000))
The graph contains the following edges 1 > 1, 2 >= 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(ty_[], cc), bd, be) → new_esEs3(yu100, yu1100, cc)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(app(ty_Either, bf), bg), bd, be) → new_esEs0(yu100, yu1100, bf, bg)
new_esEs1(Just(yu100), Just(yu1100), app(app(app(ty_@3, he), hf), hg)) → new_esEs(yu100, yu1100, he, hf, hg)
new_esEs0(Right(yu100), Right(yu1100), gc, app(app(ty_@2, hb), hc)) → new_esEs2(yu100, yu1100, hb, hc)
new_esEs0(Left(yu100), Left(yu1100), app(ty_Maybe, fg), fc) → new_esEs1(yu100, yu1100, fg)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(app(ty_Either, eb), ec)) → new_esEs0(yu102, yu1102, eb, ec)
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(ty_Maybe, bdg)) → new_esEs1(yu100, yu1100, bdg)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(ty_Maybe, ed)) → new_esEs1(yu102, yu1102, ed)
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(ty_[], beb)) → new_esEs3(yu100, yu1100, beb)
new_esEs0(Right(yu100), Right(yu1100), gc, app(app(app(ty_@3, gd), ge), gf)) → new_esEs(yu100, yu1100, gd, ge, gf)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(ty_Maybe, bcf)) → new_esEs1(yu101, yu1101, bcf)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(app(ty_@2, bcg), bch)) → new_esEs2(yu101, yu1101, bcg, bch)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(ty_Maybe, bbd), bba) → new_esEs1(yu100, yu1100, bbd)
new_esEs1(Just(yu100), Just(yu1100), app(ty_[], bae)) → new_esEs3(yu100, yu1100, bae)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(app(ty_@2, bbe), bbf), bba) → new_esEs2(yu100, yu1100, bbe, bbf)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(app(app(ty_@3, ba), bb), bc), bd, be) → new_esEs(yu100, yu1100, ba, bb, bc)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(app(app(ty_@3, bca), bcb), bcc)) → new_esEs(yu101, yu1101, bca, bcb, bcc)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(app(ty_Either, bcd), bce)) → new_esEs0(yu101, yu1101, bcd, bce)
new_esEs0(Left(yu100), Left(yu1100), app(app(ty_Either, fd), ff), fc) → new_esEs0(yu100, yu1100, fd, ff)
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(app(app(ty_@3, bdb), bdc), bdd)) → new_esEs(yu100, yu1100, bdb, bdc, bdd)
new_esEs0(Left(yu100), Left(yu1100), app(app(ty_@2, fh), ga), fc) → new_esEs2(yu100, yu1100, fh, ga)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(ty_Maybe, bh), bd, be) → new_esEs1(yu100, yu1100, bh)
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), bec) → new_esEs3(yu101, yu1101, bec)
new_esEs0(Right(yu100), Right(yu1100), gc, app(app(ty_Either, gg), gh)) → new_esEs0(yu100, yu1100, gg, gh)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(app(ty_@2, ca), cb), bd, be) → new_esEs2(yu100, yu1100, ca, cb)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(ty_Maybe, dc), be) → new_esEs1(yu101, yu1101, dc)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(app(ty_Either, da), db), be) → new_esEs0(yu101, yu1101, da, db)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(app(app(ty_@3, baf), bag), bah), bba) → new_esEs(yu100, yu1100, baf, bag, bah)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(app(ty_@2, dd), de), be) → new_esEs2(yu101, yu1101, dd, de)
new_esEs0(Left(yu100), Left(yu1100), app(ty_[], gb), fc) → new_esEs3(yu100, yu1100, gb)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(app(app(ty_@3, ce), cf), cg), be) → new_esEs(yu101, yu1101, ce, cf, cg)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(ty_[], bbg), bba) → new_esEs3(yu100, yu1100, bbg)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(ty_[], eg)) → new_esEs3(yu102, yu1102, eg)
new_esEs1(Just(yu100), Just(yu1100), app(ty_Maybe, bab)) → new_esEs1(yu100, yu1100, bab)
new_esEs1(Just(yu100), Just(yu1100), app(app(ty_@2, bac), bad)) → new_esEs2(yu100, yu1100, bac, bad)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(app(ty_@2, ee), ef)) → new_esEs2(yu102, yu1102, ee, ef)
new_esEs0(Right(yu100), Right(yu1100), gc, app(ty_Maybe, ha)) → new_esEs1(yu100, yu1100, ha)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(ty_[], bda)) → new_esEs3(yu101, yu1101, bda)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(ty_[], df), be) → new_esEs3(yu101, yu1101, df)
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(app(ty_Either, bbb), bbc), bba) → new_esEs0(yu100, yu1100, bbb, bbc)
new_esEs0(Left(yu100), Left(yu1100), app(app(app(ty_@3, eh), fa), fb), fc) → new_esEs(yu100, yu1100, eh, fa, fb)
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(app(ty_@2, bdh), bea)) → new_esEs2(yu100, yu1100, bdh, bea)
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(app(ty_Either, bde), bdf)) → new_esEs0(yu100, yu1100, bde, bdf)
new_esEs1(Just(yu100), Just(yu1100), app(app(ty_Either, hh), baa)) → new_esEs0(yu100, yu1100, hh, baa)
new_esEs0(Right(yu100), Right(yu1100), gc, app(ty_[], hd)) → new_esEs3(yu100, yu1100, hd)
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(app(app(ty_@3, dg), dh), ea)) → new_esEs(yu102, yu1102, dg, dh, ea)

From the DPs we obtained the following set of size-change graphs:

new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(app(app(ty_@3, bdb), bdc), bdd)) → new_esEs(yu100, yu1100, bdb, bdc, bdd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(ty_Maybe, bdg)) → new_esEs1(yu100, yu1100, bdg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(Just(yu100), Just(yu1100), app(app(app(ty_@3, he), hf), hg)) → new_esEs(yu100, yu1100, he, hf, hg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs1(Just(yu100), Just(yu1100), app(ty_Maybe, bab)) → new_esEs1(yu100, yu1100, bab)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(Just(yu100), Just(yu1100), app(ty_[], bae)) → new_esEs3(yu100, yu1100, bae)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(app(ty_Either, bde), bdf)) → new_esEs0(yu100, yu1100, bde, bdf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(app(ty_@2, bdh), bea)) → new_esEs2(yu100, yu1100, bdh, bea)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(Just(yu100), Just(yu1100), app(app(ty_Either, hh), baa)) → new_esEs0(yu100, yu1100, hh, baa)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(Just(yu100), Just(yu1100), app(app(ty_@2, bac), bad)) → new_esEs2(yu100, yu1100, bac, bad)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), app(ty_[], beb)) → new_esEs3(yu100, yu1100, beb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(:(yu100, yu101), :(yu1100, yu1101), bec) → new_esEs3(yu101, yu1101, bec)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(app(app(ty_@3, ba), bb), bc), bd, be) → new_esEs(yu100, yu1100, ba, bb, bc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(app(app(ty_@3, ce), cf), cg), be) → new_esEs(yu101, yu1101, ce, cf, cg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(app(app(ty_@3, dg), dh), ea)) → new_esEs(yu102, yu1102, dg, dh, ea)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
new_esEs0(Right(yu100), Right(yu1100), gc, app(app(app(ty_@3, gd), ge), gf)) → new_esEs(yu100, yu1100, gd, ge, gf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs0(Left(yu100), Left(yu1100), app(app(app(ty_@3, eh), fa), fb), fc) → new_esEs(yu100, yu1100, eh, fa, fb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(app(app(ty_@3, bca), bcb), bcc)) → new_esEs(yu101, yu1101, bca, bcb, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(app(app(ty_@3, baf), bag), bah), bba) → new_esEs(yu100, yu1100, baf, bag, bah)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(ty_Maybe, ed)) → new_esEs1(yu102, yu1102, ed)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(ty_Maybe, bh), bd, be) → new_esEs1(yu100, yu1100, bh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(ty_Maybe, dc), be) → new_esEs1(yu101, yu1101, dc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(ty_[], cc), bd, be) → new_esEs3(yu100, yu1100, cc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(ty_[], eg)) → new_esEs3(yu102, yu1102, eg)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(ty_[], df), be) → new_esEs3(yu101, yu1101, df)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(app(ty_Either, bf), bg), bd, be) → new_esEs0(yu100, yu1100, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(app(ty_Either, eb), ec)) → new_esEs0(yu102, yu1102, eb, ec)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(app(ty_Either, da), db), be) → new_esEs0(yu101, yu1101, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), app(app(ty_@2, ca), cb), bd, be) → new_esEs2(yu100, yu1100, ca, cb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, app(app(ty_@2, dd), de), be) → new_esEs2(yu101, yu1101, dd, de)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), cd, bd, app(app(ty_@2, ee), ef)) → new_esEs2(yu102, yu1102, ee, ef)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs0(Left(yu100), Left(yu1100), app(ty_Maybe, fg), fc) → new_esEs1(yu100, yu1100, fg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(Right(yu100), Right(yu1100), gc, app(ty_Maybe, ha)) → new_esEs1(yu100, yu1100, ha)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(ty_Maybe, bcf)) → new_esEs1(yu101, yu1101, bcf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(ty_Maybe, bbd), bba) → new_esEs1(yu100, yu1100, bbd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(Left(yu100), Left(yu1100), app(ty_[], gb), fc) → new_esEs3(yu100, yu1100, gb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(Right(yu100), Right(yu1100), gc, app(ty_[], hd)) → new_esEs3(yu100, yu1100, hd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs0(Left(yu100), Left(yu1100), app(app(ty_Either, fd), ff), fc) → new_esEs0(yu100, yu1100, fd, ff)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(Right(yu100), Right(yu1100), gc, app(app(ty_Either, gg), gh)) → new_esEs0(yu100, yu1100, gg, gh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(Right(yu100), Right(yu1100), gc, app(app(ty_@2, hb), hc)) → new_esEs2(yu100, yu1100, hb, hc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(Left(yu100), Left(yu1100), app(app(ty_@2, fh), ga), fc) → new_esEs2(yu100, yu1100, fh, ga)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(ty_[], bbg), bba) → new_esEs3(yu100, yu1100, bbg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(ty_[], bda)) → new_esEs3(yu101, yu1101, bda)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(app(ty_Either, bcd), bce)) → new_esEs0(yu101, yu1101, bcd, bce)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(app(ty_Either, bbb), bbc), bba) → new_esEs0(yu100, yu1100, bbb, bbc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), bbh, app(app(ty_@2, bcg), bch)) → new_esEs2(yu101, yu1101, bcg, bch)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs2(@2(yu100, yu101), @2(yu1100, yu1101), app(app(ty_@2, bbe), bbf), bba) → new_esEs2(yu100, yu1100, bbe, bbf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_psPs(yu40, False, yu42, :(yu430, yu431), yu44, ba) → new_psPs0(yu42, yu430, new_primPlusNat0(yu44, Zero), yu431, new_primPlusNat0(yu44, Zero), ba)
new_psPs1(yu42, :(yu430, yu431), yu44, ba) → new_psPs0(yu42, yu430, new_primPlusNat0(yu44, Zero), yu431, new_primPlusNat0(yu44, Zero), ba)
new_psPs(yu40, True, yu42, yu43, yu44, ba) → new_psPs1(yu42, yu43, yu44, ba)
new_psPs0(yu10, yu110, yu32, yu111, yu33, bb) → new_psPs(yu32, new_esEs4(yu10, yu110, bb), yu10, yu111, yu33, bb)

The TRS R consists of the following rules:

new_esEs23(yu102, yu1102, ty_Char) → new_esEs6(yu102, yu1102)
new_esEs8(yu100, yu1100, ty_Int) → new_esEs10(yu100, yu1100)
new_esEs15(Just(yu100), Just(yu1100), app(app(ty_Either, bdh), bea)) → new_esEs13(yu100, yu1100, bdh, bea)
new_primPlusNat1(Succ(yu6400), Succ(yu1100000)) → Succ(Succ(new_primPlusNat1(yu6400, yu1100000)))
new_esEs26(yu100, yu1100, app(app(app(ty_@3, beg), beh), bfa)) → new_esEs12(yu100, yu1100, beg, beh, bfa)
new_primEqInt(Pos(Succ(yu1000)), Neg(yu1100)) → False
new_primEqInt(Neg(Succ(yu1000)), Pos(yu1100)) → False
new_esEs25(yu101, yu1101, ty_Int) → new_esEs10(yu101, yu1101)
new_esEs23(yu102, yu1102, app(app(ty_@2, gb), gc)) → new_esEs18(yu102, yu1102, gb, gc)
new_esEs15(Just(yu100), Just(yu1100), ty_Bool) → new_esEs16(yu100, yu1100)
new_esEs4(yu10, yu110, ty_Int) → new_esEs10(yu10, yu110)
new_esEs26(yu100, yu1100, ty_Double) → new_esEs14(yu100, yu1100)
new_esEs11(Integer(yu100), Integer(yu1100)) → new_primEqInt(yu100, yu1100)
new_primEqInt(Pos(Zero), Neg(Succ(yu11000))) → False
new_primEqInt(Neg(Zero), Pos(Succ(yu11000))) → False
new_esEs26(yu100, yu1100, ty_Int) → new_esEs10(yu100, yu1100)
new_esEs15(Just(yu100), Just(yu1100), ty_Integer) → new_esEs11(yu100, yu1100)
new_esEs26(yu100, yu1100, ty_Integer) → new_esEs11(yu100, yu1100)
new_esEs13(Left(yu100), Left(yu1100), app(app(ty_Either, gh), ha), bh) → new_esEs13(yu100, yu1100, gh, ha)
new_esEs23(yu102, yu1102, app(app(ty_Either, ff), fg)) → new_esEs13(yu102, yu1102, ff, fg)
new_esEs15(Just(yu100), Just(yu1100), app(ty_Ratio, beb)) → new_esEs7(yu100, yu1100, beb)
new_esEs13(Left(yu100), Left(yu1100), app(ty_[], hf), bh) → new_esEs20(yu100, yu1100, hf)
new_esEs22(yu101, yu1101, app(ty_[], fa)) → new_esEs20(yu101, yu1101, fa)
new_esEs23(yu102, yu1102, ty_Float) → new_esEs17(yu102, yu1102)
new_esEs26(yu100, yu1100, ty_Float) → new_esEs17(yu100, yu1100)
new_primMulNat0(Zero, Zero) → Zero
new_esEs26(yu100, yu1100, app(ty_Maybe, bfe)) → new_esEs15(yu100, yu1100, bfe)
new_esEs4(yu10, yu110, ty_Ordering) → new_esEs19(yu10, yu110)
new_esEs21(yu100, yu1100, ty_Bool) → new_esEs16(yu100, yu1100)
new_esEs26(yu100, yu1100, app(ty_Ratio, bfd)) → new_esEs7(yu100, yu1100, bfd)
new_esEs23(yu102, yu1102, app(app(app(ty_@3, fb), fc), fd)) → new_esEs12(yu102, yu1102, fb, fc, fd)
new_esEs21(yu100, yu1100, app(ty_[], dg)) → new_esEs20(yu100, yu1100, dg)
new_primPlusNat0(Zero, yu110000) → Succ(yu110000)
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Integer) → new_esEs11(yu100, yu1100)
new_esEs13(Left(yu100), Left(yu1100), ty_@0, bh) → new_esEs5(yu100, yu1100)
new_esEs24(yu100, yu1100, app(ty_Ratio, bbf)) → new_esEs7(yu100, yu1100, bbf)
new_esEs24(yu100, yu1100, ty_Ordering) → new_esEs19(yu100, yu1100)
new_sr(Neg(yu1000), Pos(yu11000)) → Neg(new_primMulNat0(yu1000, yu11000))
new_sr(Pos(yu1000), Neg(yu11000)) → Neg(new_primMulNat0(yu1000, yu11000))
new_esEs24(yu100, yu1100, ty_Float) → new_esEs17(yu100, yu1100)
new_esEs22(yu101, yu1101, ty_Integer) → new_esEs11(yu101, yu1101)
new_esEs15(Just(yu100), Just(yu1100), ty_Float) → new_esEs17(yu100, yu1100)
new_esEs15(Just(yu100), Just(yu1100), ty_@0) → new_esEs5(yu100, yu1100)
new_esEs24(yu100, yu1100, app(ty_Maybe, bbg)) → new_esEs15(yu100, yu1100, bbg)
new_esEs19(GT, LT) → False
new_esEs19(LT, GT) → False
new_esEs14(Double(yu100, yu101), Double(yu1100, yu1101)) → new_esEs10(new_sr(yu100, yu1100), new_sr(yu101, yu1101))
new_esEs25(yu101, yu1101, ty_Integer) → new_esEs11(yu101, yu1101)
new_esEs9(yu101, yu1101, ty_Int) → new_esEs10(yu101, yu1101)
new_esEs26(yu100, yu1100, app(app(ty_@2, bff), bfg)) → new_esEs18(yu100, yu1100, bff, bfg)
new_esEs4(yu10, yu110, app(ty_[], cd)) → new_esEs20(yu10, yu110, cd)
new_esEs25(yu101, yu1101, ty_Double) → new_esEs14(yu101, yu1101)
new_esEs24(yu100, yu1100, ty_Integer) → new_esEs11(yu100, yu1100)
new_esEs22(yu101, yu1101, app(app(ty_Either, ec), ed)) → new_esEs13(yu101, yu1101, ec, ed)
new_esEs4(yu10, yu110, ty_Float) → new_esEs17(yu10, yu110)
new_esEs22(yu101, yu1101, ty_Int) → new_esEs10(yu101, yu1101)
new_esEs23(yu102, yu1102, app(ty_Maybe, ga)) → new_esEs15(yu102, yu1102, ga)
new_esEs22(yu101, yu1101, ty_@0) → new_esEs5(yu101, yu1101)
new_esEs22(yu101, yu1101, app(app(ty_@2, eg), eh)) → new_esEs18(yu101, yu1101, eg, eh)
new_esEs23(yu102, yu1102, app(ty_[], gd)) → new_esEs20(yu102, yu1102, gd)
new_esEs26(yu100, yu1100, ty_@0) → new_esEs5(yu100, yu1100)
new_primEqNat0(Succ(yu1000), Zero) → False
new_primEqNat0(Zero, Succ(yu11000)) → False
new_esEs22(yu101, yu1101, ty_Float) → new_esEs17(yu101, yu1101)
new_esEs22(yu101, yu1101, ty_Char) → new_esEs6(yu101, yu1101)
new_esEs24(yu100, yu1100, app(app(app(ty_@3, bba), bbb), bbc)) → new_esEs12(yu100, yu1100, bba, bbb, bbc)
new_primEqInt(Pos(Zero), Pos(Zero)) → True
new_esEs22(yu101, yu1101, ty_Double) → new_esEs14(yu101, yu1101)
new_esEs19(GT, GT) → True
new_esEs18(@2(yu100, yu101), @2(yu1100, yu1101), cb, cc) → new_asAs(new_esEs24(yu100, yu1100, cb), new_esEs25(yu101, yu1101, cc))
new_esEs5(@0, @0) → True
new_esEs21(yu100, yu1100, app(app(app(ty_@3, ce), cf), cg)) → new_esEs12(yu100, yu1100, ce, cf, cg)
new_esEs22(yu101, yu1101, app(app(app(ty_@3, dh), ea), eb)) → new_esEs12(yu101, yu1101, dh, ea, eb)
new_esEs15(Nothing, Nothing, ca) → True
new_esEs15(Just(yu100), Just(yu1100), app(ty_[], bef)) → new_esEs20(yu100, yu1100, bef)
new_esEs4(yu10, yu110, ty_Integer) → new_esEs11(yu10, yu110)
new_esEs13(Right(yu100), Right(yu1100), bg, app(app(ty_@2, baf), bag)) → new_esEs18(yu100, yu1100, baf, bag)
new_esEs16(True, True) → True
new_esEs4(yu10, yu110, ty_Double) → new_esEs14(yu10, yu110)
new_esEs25(yu101, yu1101, ty_Ordering) → new_esEs19(yu101, yu1101)
new_esEs24(yu100, yu1100, ty_Bool) → new_esEs16(yu100, yu1100)
new_esEs20([], [], cd) → True
new_esEs13(Right(yu100), Right(yu1100), bg, ty_@0) → new_esEs5(yu100, yu1100)
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Float) → new_esEs17(yu100, yu1100)
new_esEs4(yu10, yu110, app(app(ty_@2, cb), cc)) → new_esEs18(yu10, yu110, cb, cc)
new_esEs19(LT, LT) → True
new_esEs23(yu102, yu1102, ty_Double) → new_esEs14(yu102, yu1102)
new_esEs19(GT, EQ) → False
new_esEs19(EQ, GT) → False
new_esEs25(yu101, yu1101, ty_Bool) → new_esEs16(yu101, yu1101)
new_esEs15(Just(yu100), Just(yu1100), ty_Ordering) → new_esEs19(yu100, yu1100)
new_esEs25(yu101, yu1101, ty_@0) → new_esEs5(yu101, yu1101)
new_esEs13(Left(yu100), Left(yu1100), app(app(ty_@2, hd), he), bh) → new_esEs18(yu100, yu1100, hd, he)
new_esEs13(Left(yu100), Left(yu1100), ty_Bool, bh) → new_esEs16(yu100, yu1100)
new_esEs13(Right(yu100), Right(yu1100), bg, app(ty_[], bah)) → new_esEs20(yu100, yu1100, bah)
new_esEs22(yu101, yu1101, app(ty_Ratio, ee)) → new_esEs7(yu101, yu1101, ee)
new_sr(Neg(yu1000), Neg(yu11000)) → Pos(new_primMulNat0(yu1000, yu11000))
new_esEs24(yu100, yu1100, ty_Int) → new_esEs10(yu100, yu1100)
new_sr(Pos(yu1000), Pos(yu11000)) → Pos(new_primMulNat0(yu1000, yu11000))
new_asAs(False, yu63) → False
new_esEs25(yu101, yu1101, app(ty_[], bdd)) → new_esEs20(yu101, yu1101, bdd)
new_esEs13(Left(yu100), Left(yu1100), ty_Char, bh) → new_esEs6(yu100, yu1100)
new_primEqNat0(Zero, Zero) → True
new_esEs15(Just(yu100), Just(yu1100), ty_Int) → new_esEs10(yu100, yu1100)
new_primMulNat0(Succ(yu10000), Zero) → Zero
new_primMulNat0(Zero, Succ(yu110000)) → Zero
new_esEs20(:(yu100, yu101), :(yu1100, yu1101), cd) → new_asAs(new_esEs26(yu100, yu1100, cd), new_esEs20(yu101, yu1101, cd))
new_esEs12(@3(yu100, yu101, yu102), @3(yu1100, yu1101, yu1102), bd, be, bf) → new_asAs(new_esEs21(yu100, yu1100, bd), new_asAs(new_esEs22(yu101, yu1101, be), new_esEs23(yu102, yu1102, bf)))
new_esEs4(yu10, yu110, ty_Bool) → new_esEs16(yu10, yu110)
new_esEs13(Left(yu100), Left(yu1100), app(ty_Ratio, hb), bh) → new_esEs7(yu100, yu1100, hb)
new_esEs21(yu100, yu1100, app(app(ty_@2, de), df)) → new_esEs18(yu100, yu1100, de, df)
new_esEs13(Left(yu100), Left(yu1100), ty_Double, bh) → new_esEs14(yu100, yu1100)
new_esEs24(yu100, yu1100, ty_@0) → new_esEs5(yu100, yu1100)
new_esEs21(yu100, yu1100, app(ty_Maybe, dd)) → new_esEs15(yu100, yu1100, dd)
new_esEs13(Right(yu100), Right(yu1100), bg, app(ty_Maybe, bae)) → new_esEs15(yu100, yu1100, bae)
new_esEs26(yu100, yu1100, ty_Bool) → new_esEs16(yu100, yu1100)
new_esEs13(Left(yu100), Left(yu1100), app(app(app(ty_@3, ge), gf), gg), bh) → new_esEs12(yu100, yu1100, ge, gf, gg)
new_esEs4(yu10, yu110, app(app(app(ty_@3, bd), be), bf)) → new_esEs12(yu10, yu110, bd, be, bf)
new_esEs4(yu10, yu110, app(ty_Maybe, ca)) → new_esEs15(yu10, yu110, ca)
new_esEs21(yu100, yu1100, ty_@0) → new_esEs5(yu100, yu1100)
new_esEs26(yu100, yu1100, ty_Ordering) → new_esEs19(yu100, yu1100)
new_esEs25(yu101, yu1101, app(ty_Maybe, bda)) → new_esEs15(yu101, yu1101, bda)
new_esEs8(yu100, yu1100, ty_Integer) → new_esEs11(yu100, yu1100)
new_esEs4(yu10, yu110, ty_Char) → new_esEs6(yu10, yu110)
new_primPlusNat0(Succ(yu640), yu110000) → Succ(Succ(new_primPlusNat1(yu640, yu110000)))
new_esEs21(yu100, yu1100, ty_Ordering) → new_esEs19(yu100, yu1100)
new_esEs13(Right(yu100), Right(yu1100), bg, app(ty_Ratio, bad)) → new_esEs7(yu100, yu1100, bad)
new_esEs16(False, False) → True
new_esEs9(yu101, yu1101, ty_Integer) → new_esEs11(yu101, yu1101)
new_primEqInt(Neg(Succ(yu1000)), Neg(Succ(yu11000))) → new_primEqNat0(yu1000, yu11000)
new_esEs13(Right(yu100), Left(yu1100), bg, bh) → False
new_esEs13(Left(yu100), Right(yu1100), bg, bh) → False
new_esEs13(Right(yu100), Right(yu1100), bg, app(app(ty_Either, bab), bac)) → new_esEs13(yu100, yu1100, bab, bac)
new_esEs25(yu101, yu1101, app(app(ty_@2, bdb), bdc)) → new_esEs18(yu101, yu1101, bdb, bdc)
new_esEs24(yu100, yu1100, app(app(ty_@2, bbh), bca)) → new_esEs18(yu100, yu1100, bbh, bca)
new_esEs15(Just(yu100), Just(yu1100), app(ty_Maybe, bec)) → new_esEs15(yu100, yu1100, bec)
new_esEs19(EQ, EQ) → True
new_primPlusNat1(Zero, Succ(yu1100000)) → Succ(yu1100000)
new_primPlusNat1(Succ(yu6400), Zero) → Succ(yu6400)
new_esEs22(yu101, yu1101, ty_Ordering) → new_esEs19(yu101, yu1101)
new_esEs23(yu102, yu1102, app(ty_Ratio, fh)) → new_esEs7(yu102, yu1102, fh)
new_esEs16(True, False) → False
new_esEs16(False, True) → False
new_esEs6(Char(yu100), Char(yu1100)) → new_primEqNat0(yu100, yu1100)
new_esEs24(yu100, yu1100, ty_Char) → new_esEs6(yu100, yu1100)
new_esEs21(yu100, yu1100, ty_Double) → new_esEs14(yu100, yu1100)
new_esEs22(yu101, yu1101, app(ty_Maybe, ef)) → new_esEs15(yu101, yu1101, ef)
new_primEqInt(Neg(Zero), Neg(Zero)) → True
new_esEs25(yu101, yu1101, app(ty_Ratio, bch)) → new_esEs7(yu101, yu1101, bch)
new_esEs4(yu10, yu110, app(app(ty_Either, bg), bh)) → new_esEs13(yu10, yu110, bg, bh)
new_esEs23(yu102, yu1102, ty_Bool) → new_esEs16(yu102, yu1102)
new_esEs21(yu100, yu1100, ty_Integer) → new_esEs11(yu100, yu1100)
new_esEs13(Left(yu100), Left(yu1100), app(ty_Maybe, hc), bh) → new_esEs15(yu100, yu1100, hc)
new_esEs20([], :(yu1100, yu1101), cd) → False
new_esEs20(:(yu100, yu101), [], cd) → False
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Char) → new_esEs6(yu100, yu1100)
new_primEqInt(Neg(Succ(yu1000)), Neg(Zero)) → False
new_primEqInt(Neg(Zero), Neg(Succ(yu11000))) → False
new_esEs24(yu100, yu1100, app(app(ty_Either, bbd), bbe)) → new_esEs13(yu100, yu1100, bbd, bbe)
new_esEs26(yu100, yu1100, ty_Char) → new_esEs6(yu100, yu1100)
new_esEs13(Left(yu100), Left(yu1100), ty_Ordering, bh) → new_esEs19(yu100, yu1100)
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Ordering) → new_esEs19(yu100, yu1100)
new_esEs21(yu100, yu1100, app(app(ty_Either, da), db)) → new_esEs13(yu100, yu1100, da, db)
new_esEs23(yu102, yu1102, ty_Ordering) → new_esEs19(yu102, yu1102)
new_primPlusNat1(Zero, Zero) → Zero
new_esEs21(yu100, yu1100, ty_Float) → new_esEs17(yu100, yu1100)
new_asAs(True, yu63) → yu63
new_esEs13(Left(yu100), Left(yu1100), ty_Int, bh) → new_esEs10(yu100, yu1100)
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Bool) → new_esEs16(yu100, yu1100)
new_primMulNat0(Succ(yu10000), Succ(yu110000)) → new_primPlusNat0(new_primMulNat0(yu10000, Succ(yu110000)), yu110000)
new_esEs15(Just(yu100), Nothing, ca) → False
new_esEs15(Nothing, Just(yu1100), ca) → False
new_esEs19(EQ, LT) → False
new_esEs19(LT, EQ) → False
new_esEs25(yu101, yu1101, app(app(ty_Either, bcf), bcg)) → new_esEs13(yu101, yu1101, bcf, bcg)
new_esEs25(yu101, yu1101, app(app(app(ty_@3, bcc), bcd), bce)) → new_esEs12(yu101, yu1101, bcc, bcd, bce)
new_esEs23(yu102, yu1102, ty_Int) → new_esEs10(yu102, yu1102)
new_primEqInt(Pos(Succ(yu1000)), Pos(Succ(yu11000))) → new_primEqNat0(yu1000, yu11000)
new_esEs13(Left(yu100), Left(yu1100), ty_Float, bh) → new_esEs17(yu100, yu1100)
new_esEs21(yu100, yu1100, ty_Int) → new_esEs10(yu100, yu1100)
new_esEs13(Left(yu100), Left(yu1100), ty_Integer, bh) → new_esEs11(yu100, yu1100)
new_esEs17(Float(yu100, yu101), Float(yu1100, yu1101)) → new_esEs10(new_sr(yu100, yu1100), new_sr(yu101, yu1101))
new_esEs15(Just(yu100), Just(yu1100), ty_Double) → new_esEs14(yu100, yu1100)
new_esEs13(Right(yu100), Right(yu1100), bg, app(app(app(ty_@3, hg), hh), baa)) → new_esEs12(yu100, yu1100, hg, hh, baa)
new_esEs15(Just(yu100), Just(yu1100), app(app(ty_@2, bed), bee)) → new_esEs18(yu100, yu1100, bed, bee)
new_esEs4(yu10, yu110, app(ty_Ratio, bc)) → new_esEs7(yu10, yu110, bc)
new_primEqNat0(Succ(yu1000), Succ(yu11000)) → new_primEqNat0(yu1000, yu11000)
new_esEs23(yu102, yu1102, ty_Integer) → new_esEs11(yu102, yu1102)
new_esEs24(yu100, yu1100, app(ty_[], bcb)) → new_esEs20(yu100, yu1100, bcb)
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Int) → new_esEs10(yu100, yu1100)
new_esEs4(yu10, yu110, ty_@0) → new_esEs5(yu10, yu110)
new_esEs13(Right(yu100), Right(yu1100), bg, ty_Double) → new_esEs14(yu100, yu1100)
new_esEs7(:%(yu100, yu101), :%(yu1100, yu1101), bc) → new_asAs(new_esEs8(yu100, yu1100, bc), new_esEs9(yu101, yu1101, bc))
new_esEs22(yu101, yu1101, ty_Bool) → new_esEs16(yu101, yu1101)
new_esEs10(yu10, yu110) → new_primEqInt(yu10, yu110)
new_esEs25(yu101, yu1101, ty_Char) → new_esEs6(yu101, yu1101)
new_esEs21(yu100, yu1100, app(ty_Ratio, dc)) → new_esEs7(yu100, yu1100, dc)
new_esEs15(Just(yu100), Just(yu1100), ty_Char) → new_esEs6(yu100, yu1100)
new_primEqInt(Pos(Zero), Pos(Succ(yu11000))) → False
new_primEqInt(Pos(Succ(yu1000)), Pos(Zero)) → False
new_esEs26(yu100, yu1100, app(ty_[], bfh)) → new_esEs20(yu100, yu1100, bfh)
new_esEs26(yu100, yu1100, app(app(ty_Either, bfb), bfc)) → new_esEs13(yu100, yu1100, bfb, bfc)
new_primEqInt(Pos(Zero), Neg(Zero)) → True
new_primEqInt(Neg(Zero), Pos(Zero)) → True
new_esEs25(yu101, yu1101, ty_Float) → new_esEs17(yu101, yu1101)
new_esEs23(yu102, yu1102, ty_@0) → new_esEs5(yu102, yu1102)
new_esEs15(Just(yu100), Just(yu1100), app(app(app(ty_@3, bde), bdf), bdg)) → new_esEs12(yu100, yu1100, bde, bdf, bdg)
new_esEs24(yu100, yu1100, ty_Double) → new_esEs14(yu100, yu1100)
new_esEs21(yu100, yu1100, ty_Char) → new_esEs6(yu100, yu1100)

The set Q consists of the following terms:

new_esEs24(x0, x1, ty_Char)
new_esEs13(Right(x0), Right(x1), x2, ty_Float)
new_esEs22(x0, x1, ty_Ordering)
new_esEs15(Just(x0), Just(x1), ty_Ordering)
new_esEs24(x0, x1, ty_Integer)
new_esEs13(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_esEs15(Just(x0), Just(x1), ty_Double)
new_esEs5(@0, @0)
new_esEs20([], [], x0)
new_primEqInt(Neg(Succ(x0)), Neg(Zero))
new_esEs4(x0, x1, ty_Bool)
new_primEqInt(Pos(Zero), Neg(Zero))
new_primEqInt(Neg(Zero), Pos(Zero))
new_esEs23(x0, x1, ty_Integer)
new_esEs18(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs6(Char(x0), Char(x1))
new_esEs25(x0, x1, ty_Float)
new_esEs13(Right(x0), Right(x1), x2, ty_Char)
new_esEs26(x0, x1, ty_@0)
new_esEs21(x0, x1, ty_Bool)
new_esEs15(Nothing, Just(x0), x1)
new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
new_esEs24(x0, x1, app(app(ty_@2, x2), x3))
new_esEs15(Just(x0), Nothing, x1)
new_esEs13(Left(x0), Left(x1), app(ty_[], x2), x3)
new_esEs4(x0, x1, ty_Int)
new_esEs26(x0, x1, ty_Char)
new_esEs11(Integer(x0), Integer(x1))
new_primEqInt(Neg(Zero), Neg(Zero))
new_esEs21(x0, x1, ty_@0)
new_esEs22(x0, x1, ty_Float)
new_esEs4(x0, x1, ty_Float)
new_esEs13(Right(x0), Right(x1), x2, ty_Integer)
new_esEs15(Just(x0), Just(x1), ty_Int)
new_esEs7(:%(x0, x1), :%(x2, x3), x4)
new_esEs24(x0, x1, ty_Double)
new_esEs26(x0, x1, app(app(ty_@2, x2), x3))
new_esEs21(x0, x1, app(ty_Ratio, x2))
new_esEs25(x0, x1, ty_Integer)
new_asAs(True, x0)
new_esEs20([], :(x0, x1), x2)
new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs24(x0, x1, app(ty_Ratio, x2))
new_esEs20(:(x0, x1), :(x2, x3), x4)
new_esEs22(x0, x1, app(app(ty_@2, x2), x3))
new_esEs25(x0, x1, ty_Double)
new_primEqNat0(Succ(x0), Zero)
new_primPlusNat0(Succ(x0), x1)
new_esEs23(x0, x1, app(app(ty_Either, x2), x3))
new_esEs26(x0, x1, app(ty_Maybe, x2))
new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
new_esEs15(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primEqNat0(Succ(x0), Succ(x1))
new_esEs25(x0, x1, ty_Int)
new_esEs23(x0, x1, ty_@0)
new_esEs4(x0, x1, ty_Ordering)
new_esEs21(x0, x1, ty_Integer)
new_esEs13(Right(x0), Right(x1), x2, ty_Int)
new_esEs26(x0, x1, ty_Double)
new_esEs24(x0, x1, ty_Ordering)
new_esEs25(x0, x1, app(ty_[], x2))
new_esEs13(Left(x0), Left(x1), ty_Float, x2)
new_esEs15(Just(x0), Just(x1), ty_Char)
new_esEs8(x0, x1, ty_Integer)
new_esEs23(x0, x1, app(ty_[], x2))
new_esEs22(x0, x1, app(ty_Ratio, x2))
new_esEs13(Left(x0), Left(x1), ty_Double, x2)
new_esEs10(x0, x1)
new_esEs23(x0, x1, ty_Char)
new_esEs16(False, True)
new_esEs16(True, False)
new_esEs25(x0, x1, app(app(ty_Either, x2), x3))
new_esEs26(x0, x1, ty_Ordering)
new_esEs15(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_esEs24(x0, x1, ty_Bool)
new_esEs15(Nothing, Nothing, x0)
new_esEs25(x0, x1, ty_Bool)
new_sr(Pos(x0), Neg(x1))
new_sr(Neg(x0), Pos(x1))
new_esEs26(x0, x1, ty_Integer)
new_esEs21(x0, x1, app(ty_Maybe, x2))
new_esEs13(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_esEs13(Left(x0), Left(x1), ty_Integer, x2)
new_esEs16(True, True)
new_esEs15(Just(x0), Just(x1), ty_@0)
new_esEs26(x0, x1, ty_Float)
new_esEs4(x0, x1, app(ty_Ratio, x2))
new_primEqNat0(Zero, Succ(x0))
new_esEs4(x0, x1, app(ty_[], x2))
new_esEs13(Right(x0), Right(x1), x2, app(ty_[], x3))
new_esEs14(Double(x0, x1), Double(x2, x3))
new_esEs26(x0, x1, app(app(ty_Either, x2), x3))
new_esEs13(Left(x0), Left(x1), ty_Ordering, x2)
new_esEs15(Just(x0), Just(x1), ty_Integer)
new_esEs22(x0, x1, ty_Integer)
new_esEs12(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_primEqNat0(Zero, Zero)
new_primPlusNat1(Succ(x0), Succ(x1))
new_primEqInt(Pos(Succ(x0)), Pos(Zero))
new_esEs24(x0, x1, ty_Int)
new_esEs13(Left(x0), Left(x1), ty_Char, x2)
new_esEs19(GT, GT)
new_esEs26(x0, x1, app(ty_Ratio, x2))
new_esEs13(Left(x0), Left(x1), ty_@0, x2)
new_esEs21(x0, x1, app(ty_[], x2))
new_esEs13(Right(x0), Right(x1), x2, ty_Double)
new_esEs9(x0, x1, ty_Int)
new_sr(Pos(x0), Pos(x1))
new_esEs13(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_esEs22(x0, x1, ty_Double)
new_esEs25(x0, x1, app(ty_Ratio, x2))
new_esEs13(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_esEs21(x0, x1, app(app(ty_Either, x2), x3))
new_esEs13(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_esEs21(x0, x1, ty_Char)
new_esEs15(Just(x0), Just(x1), ty_Float)
new_primMulNat0(Zero, Zero)
new_esEs16(False, False)
new_esEs13(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_esEs19(EQ, EQ)
new_esEs15(Just(x0), Just(x1), app(ty_Ratio, x2))
new_esEs13(Left(x0), Left(x1), ty_Bool, x2)
new_esEs22(x0, x1, app(ty_Maybe, x2))
new_primEqInt(Pos(Zero), Pos(Succ(x0)))
new_esEs22(x0, x1, app(ty_[], x2))
new_asAs(False, x0)
new_esEs22(x0, x1, ty_Bool)
new_sr(Neg(x0), Neg(x1))
new_esEs22(x0, x1, ty_Char)
new_primPlusNat1(Succ(x0), Zero)
new_esEs19(LT, EQ)
new_esEs19(EQ, LT)
new_esEs20(:(x0, x1), [], x2)
new_esEs23(x0, x1, ty_Double)
new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs25(x0, x1, app(app(ty_@2, x2), x3))
new_esEs23(x0, x1, app(ty_Ratio, x2))
new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs19(LT, GT)
new_esEs19(GT, LT)
new_esEs24(x0, x1, app(app(ty_Either, x2), x3))
new_esEs25(x0, x1, app(ty_Maybe, x2))
new_esEs23(x0, x1, app(ty_Maybe, x2))
new_esEs19(LT, LT)
new_esEs25(x0, x1, ty_Ordering)
new_esEs19(GT, EQ)
new_esEs19(EQ, GT)
new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
new_esEs24(x0, x1, ty_Float)
new_primMulNat0(Succ(x0), Succ(x1))
new_esEs22(x0, x1, ty_Int)
new_esEs21(x0, x1, ty_Float)
new_esEs25(x0, x1, ty_Char)
new_esEs4(x0, x1, ty_Double)
new_esEs13(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_esEs4(x0, x1, ty_Integer)
new_esEs13(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_esEs25(x0, x1, ty_@0)
new_esEs4(x0, x1, ty_Char)
new_esEs23(x0, x1, ty_Int)
new_esEs23(x0, x1, app(app(ty_@2, x2), x3))
new_esEs24(x0, x1, ty_@0)
new_esEs9(x0, x1, ty_Integer)
new_esEs23(x0, x1, ty_Bool)
new_esEs4(x0, x1, app(ty_Maybe, x2))
new_esEs23(x0, x1, ty_Ordering)
new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs4(x0, x1, ty_@0)
new_esEs15(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_primPlusNat0(Zero, x0)
new_esEs13(Left(x0), Right(x1), x2, x3)
new_esEs13(Right(x0), Left(x1), x2, x3)
new_esEs21(x0, x1, ty_Double)
new_esEs21(x0, x1, app(app(ty_@2, x2), x3))
new_esEs21(x0, x1, ty_Ordering)
new_esEs15(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs17(Float(x0, x1), Float(x2, x3))
new_esEs13(Right(x0), Right(x1), x2, ty_@0)
new_esEs15(Just(x0), Just(x1), app(ty_[], x2))
new_esEs24(x0, x1, app(ty_[], x2))
new_esEs8(x0, x1, ty_Int)
new_esEs13(Right(x0), Right(x1), x2, ty_Ordering)
new_primPlusNat1(Zero, Zero)
new_esEs26(x0, x1, app(ty_[], x2))
new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
new_esEs22(x0, x1, ty_@0)
new_esEs23(x0, x1, ty_Float)
new_esEs13(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_primPlusNat1(Zero, Succ(x0))
new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs13(Left(x0), Left(x1), ty_Int, x2)
new_primMulNat0(Zero, Succ(x0))
new_primEqInt(Pos(Zero), Pos(Zero))
new_primEqInt(Neg(Zero), Neg(Succ(x0)))
new_esEs13(Right(x0), Right(x1), x2, ty_Bool)
new_primEqInt(Pos(Zero), Neg(Succ(x0)))
new_primEqInt(Neg(Zero), Pos(Succ(x0)))
new_primMulNat0(Succ(x0), Zero)
new_esEs22(x0, x1, app(app(ty_Either, x2), x3))
new_esEs24(x0, x1, app(ty_Maybe, x2))
new_esEs26(x0, x1, ty_Int)
new_esEs13(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_primEqInt(Neg(Succ(x0)), Pos(x1))
new_primEqInt(Pos(Succ(x0)), Neg(x1))
new_esEs15(Just(x0), Just(x1), ty_Bool)
new_esEs26(x0, x1, ty_Bool)
new_esEs21(x0, x1, ty_Int)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_psPs0(yu10, yu110, yu32, yu111, yu33, bb) → new_psPs(yu32, new_esEs4(yu10, yu110, bb), yu10, yu111, yu33, bb)
The graph contains the following edges 3 >= 1, 1 >= 3, 4 >= 4, 5 >= 5, 6 >= 6
new_psPs(yu40, True, yu42, yu43, yu44, ba) → new_psPs1(yu42, yu43, yu44, ba)
The graph contains the following edges 3 >= 1, 4 >= 2, 5 >= 3, 6 >= 4
new_psPs1(yu42, :(yu430, yu431), yu44, ba) → new_psPs0(yu42, yu430, new_primPlusNat0(yu44, Zero), yu431, new_primPlusNat0(yu44, Zero), ba)
The graph contains the following edges 1 >= 1, 2 > 2, 2 > 4, 4 >= 6
new_psPs(yu40, False, yu42, :(yu430, yu431), yu44, ba) → new_psPs0(yu42, yu430, new_primPlusNat0(yu44, Zero), yu431, new_primPlusNat0(yu44, Zero), ba)
The graph contains the following edges 3 >= 1, 4 > 2, 4 > 4, 6 >= 6

findIndices00	p (x,i)	= if p x then i : [] else []
findIndices00	p _	= []